Theorem FirstOrder.Language.Theory.iff_iff_imp_and_imp

Modification history