Theorem CentroidHom.coe_to_add_monoid_hom

Modification history