Theorem AddConstMapClass.map_nsmul_const

Modification history