Theorem CentroidHom.toEnd_zsmul

Modification history