Theorem AddConstMapClass.map_sub_nat'

Modification history