Theorem AddConstMapClass.map_const_add

Modification history