Theorem Bool.ff_ne_tt

Modification history