Theorem AddConstMapClass.map_nat_add

Modification history