Theorem FirstOrder.Language.StrongHomClass.realize_boundedFormula

Modification history