Theorem AddConstMapClass.map_ofNat_add'

Modification history