Theorem AddConstMapClass.map_sub_zsmul

Modification history