Theorem FirstOrder.Language.ElementarySubstructure.coe_subtype

Modification history