Theorem Bool.and_not_self

Modification history