Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-12-04 23:24 2dadfdbb

View on Github →

feat(tactic/norm_num): add {nat,int}.mod

Estimated changes