Theorem AddConstMapClass.map_zsmul_const

Modification history