Theorem CentroidHom.toEnd_zero

Modification history