Theorem FirstOrder.Language.Substructure.realize_formula_top

Modification history