Def denumerable.mk'

Modification history