Theorem AddConstMapClass.map_zsmul_add

Modification history