commit: f58a7b57adbc373bc2a2e216dee479e7786b956b

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Fri Sep 19 11:42:18 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Sep 19 11:42:18 2025 -0700
tree: bde78a416f30082f7f717a76b66fbfca1ef89484
parent: f278f314695f968dd0589697e82ef2ad6d7195c2 [diff]

chore: missing `grind` normalization

This PR adds `Nat.sub_zero` as a `grind` normalization rule.

src/Init/Grind/Norm.lean[diff]

1 file changed

tree: bde78a416f30082f7f717a76b66fbfca1ef89484

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.