mathlib3

48d7f0f8 - Merge branch 'jjaassoonn/div_res_infinite' of https://github.com/leanprover-community/mathlib into jjaassoonn/div_res_infinite