Theorem FirstOrder.Language.Substructure.constants_mem

Modification history