Theorem FirstOrder.Language.Equiv.ext_iff

Modification history