Theorem Bool.not_or_self

Modification history