mathlib

0d92ddd6 - Move up out of `map_range` section; wrap in section for typeclassing