Theorem Bool.not_iff_not

Modification history