Theorem FirstOrder.Language.Equiv.coe_toHom

Modification history