Theorem FirstOrder.Language.Equiv.coe_toEmbedding

Modification history