Theorem CentroidHom.toEnd_sub

Modification history