Def denumerable.pair

Modification history