Theorem FirstOrder.Language.Substructure.coe_inclusion

Modification history