Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.cast_div_div_div_cancel_right

Modification history

2023-03-16 17:03
src/data/nat/cast/field.lean
chore(data/{nat,int}/cast/field): generalize to division_ring (#18598) …
Modified nat.cast_div_div_div_cancel_rightView on Github →
2022-11-22 09:37
src/data/nat/cast/field.lean
feat(analysis/normed/group/add_circle): results about finite-order points on the circle (#17321) …
Added nat.cast_div_div_div_cancel_rightView on Github →