mathlib

0f5a1f22 - feat(data/rat): Add some lemmas to work with num/denom (#14456)