Def add_monoid_hom.mk_ring_hom_of_mul_self_of_two_ne_zero

Modification history