Function prop::quality::excm_refl

source[−]
pub fn excm_refl<A: Prop>(exc: ExcM<Q<A, A>>) -> Q<A, A>
Expand description

Excluded middle implies reflexivity.