Theorem Nat.cast_one_add

Modification history

2026-06-03 19:05
Mathlib/Data/Nat/Cast/Defs.lean
feat: `Nat.cast_one_add` (#40168)
Added Nat.cast_one_addView on Github →