Theorem false_imp_iff

Modification history