Theorem FirstOrder.Language.Theory.SemanticallyEquivalent.realize_bd_iff

Modification history