Commit 2026-06-03 19:05 a7f9fbe4

View on Github →

feat: Nat.cast_one_add (#40168)

Estimated changes

modified theorem Nat.cast_add
modified theorem Nat.cast_one
added theorem Nat.cast_one_add