Function prop::fun::id_to_comp_left_inv

source · 
pub fn id_to_comp_left_inv<F: Prop>(_: FId) -> Comp<Inv<F>, F>
Expand description

id => (inv(f). f).