Theorem AddConstMapClass.map_sub_int

Modification history