Theorem CentroidHom.comp_mul_comm

Modification history