Theorem FirstOrder.Language.Substructure.coe_subtype

Modification history