Theorem FirstOrder.Language.Theory.SemanticallyEquivalent.realize_iff

Modification history