Theorem false_and_iff

Modification history