Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.cast_with_top

Modification history

2022-11-11 04:41
src/data/nat/cast/with_top.lean
refactor(*): simplifying import hierarchy up to dat.rat.order (#17435) …
Added nat.cast_with_topView on Github →