Theorem AddConstMapClass.map_sub_nsmul

Modification history