Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-05-12 16:23 0e834dfe

View on Github →

chore(data/nat/multiplicity): simplify proof (#14103)

Estimated changes