mathlib3
116cffff - feat(data/zmod/basic): cast_mod_nat' and cast_mod_int' (#783)

Commit
6 years ago
feat(data/zmod/basic): cast_mod_nat' and cast_mod_int' (#783) * cast_mod_int' * cast_val_int'
Author
Parents
Loading