Theorem FirstOrder.Language.Equiv.symm_bijective

Modification history