Theorem FirstOrder.Language.Substructure.closure_withConstants_eq

Modification history