Theorem FirstOrder.Language.Equiv.cg_iff

Modification history