Theorem FirstOrder.Language.Hom.eqOn_closure

Modification history