Theorem FirstOrder.Language.Substructure.coe_infᵢ

Modification history