Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.cast_div_le

Modification history

2022-06-23 16:23
src/data/nat/cast.lean
chore(data/nat,int): move field-specific lemmas about cast (#14890) …
Modified nat.cast_div_leView on Github →
2021-11-10 06:43
src/data/nat/cast.lean
feat(data/nat/cast): Cast of natural division is less than division of casts (#10251)
Added nat.cast_div_leView on Github →