Theorem FirstOrder.Language.Formula.iff_not_not

Modification history