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
.