Theorem CentroidHom.coe_to_add_monoid_hom_injective

Modification history