Theorem AddConstMapClass.map_ofNat_add

Modification history