Theorem AddConstMapClass.map_sub_int'

Modification history