Theorem AddConstMapClass.map_sub_const

Modification history