Function prop::and::symmetry

source · 
pub fn symmetry<A: Prop, B: Prop>((f0, f1): And<A, B>) -> And<B, A>
Expand description

a ∧ b => b ∧ a.