Theorem Bool.not_and

Modification history