Theorem FirstOrder.Language.Substructure.coe_iInf

Modification history