chore: remove unnecessary `%` operations at `Fin.mod` and `Fin.div` We now have the missing proofs `Nat.mod_le` and `Nat.div_le_self` in core. See: https://github.com/leanprover/std4/pull/286#discussion_r1359807875
This is the repository for Lean 4.
We provide nightly releases and have just begun regular stable point releases.
See Setting Up Lean.
Please read our Contribution Guidelines first.
See Building Lean.