Theorem Bool.eq_or_eq_not

Modification history