Theorem false_implies_iff

Modification history