Theorem FirstOrder.Language.Term.realize_restrictVarLeft

Modification history