Theorem CentroidHom.toAddMonoidHom_id

Modification history