Theorem FirstOrder.Language.Equiv.bijective

Modification history