Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-06 05:00 d951b2b4

View on Github →

feat(data/nat): division of powers (#6067) A small missing lemma.

Estimated changes