Theorem Dfinsupp.mapRange_apply

Modification history