Type Definition prop::univalence::EqUniv

source · [−]
pub type EqUniv<A, B> = Imply<Eq<A, B>, Univ<A, B>>;
Expand description

Univalence from equality.