Theorem FirstOrder.Language.Equiv.surjective

Modification history