Theorem matPolyEquiv_smul_one

Modification history