Theorem CentroidHom.nsmul_apply

Modification history