Theorem AddConstMapClass.map_nat_add'

Modification history