Theorem FirstOrder.Language.Equiv.injective

Modification history