Theorem FirstOrder.Language.Theory.Iff.realize_iff

Modification history