prop-0.47.0
- prop 0.47.0
- Permalink
- Docs.rs crate page
- MIT
- 12 August 2026
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- bvssvni
- Dependencies
- Versions
- 100% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

involve_eq

prop0.47.0

In prop::fun::inv

Function involve_eq

pub fn involve_eq<F: Prop>() -> Eq<Inv<Inv<F>>, F>

Expand description

inv(inv(f)) == f.