Theorem CentroidHom.toEnd_neg

Modification history