Theorem FirstOrder.Language.BoundedFormula.realize_castLE_of_eq

Modification history