Theorem FirstOrder.Language.Hom.eq_of_eqOn_dense

Modification history