Theorem Nat.cast_withBot

Modification history

2022-12-14 15:48
Mathlib/Data/Nat/Cast/WithTop.lean
feat port: Data.Nat.Cast.WithTop (#1019) …
Added Nat.cast_withBotView on Github →