Theorem AddConstMapClass.map_nat

Modification history