Function prop::not::rev_triple

source · [−]
pub fn rev_triple<A: Prop>(x: Not<Not<Not<A>>>) -> Not<A>
Expand description

¬¬¬a => ¬a.