Theorem Bool.involutive_not

Modification history