Theorem FirstOrder.Language.BoundedFormula.iff_not_not

Modification history