Theorem Nat.cast_add_one

Modification history

2022-11-20 00:17
Mathlib/Data/Nat/Cast/Defs.lean
feat: port data.{nat, int}.cast.defs (#641) …
Added Nat.cast_add_oneView on Github →