Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-05-06 15:42 db5c2a6d

View on Github →

chore(data/zmod/basic.lean): change order of arguments of zmod.nat_cast_mod for consistency (#13988) As discussed here, this changes the order of arguments in zmod.nat_cast_mod to be compatible with zmod.int_cast_mod.

Estimated changes