Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-03-01 21:14 116cffff

View on Github →

feat(data/zmod/basic): cast_mod_nat' and cast_mod_int' (#783)

  • cast_mod_int'
  • cast_val_int'

Estimated changes

added theorem zmod.cast_mod_int'
added theorem zmod.cast_mod_nat'
added theorem zmod.eq_iff_modeq_int'
added theorem zmod.eq_iff_modeq_nat'