Theorem FirstOrder.Language.Substructure.coeSubtype

Modification history