Theorem AddConstMapClass.map_sub_one

Modification history