Theorem AddConstMapClass.map_nat'

Modification history