Theorem AddConstMapClass.map_nsmul_add

Modification history