Theorem Bool.not_ne_self

Modification history