Theorem Nat.cast_withTop

Modification history

2025-04-07 04:49
Mathlib/Data/Nat/Cast/WithTop.lean
chore: tidy various files (#23665)
Modified Nat.cast_withTopView on Github →
2022-12-14 15:48
Mathlib/Data/Nat/Cast/WithTop.lean
feat port: Data.Nat.Cast.WithTop (#1019) …
Added Nat.cast_withTopView on Github →