Theorem Bool.not_or

Modification history