Skip to content

[#14462] chore: rename Nat.div_eq to Nat.div_eq_ite#6

Merged
downstream-lean4[bot] merged 3 commits into
masterfrom
adaptation-14462
Jul 22, 2026
Merged

[#14462] chore: rename Nat.div_eq to Nat.div_eq_ite#6
downstream-lean4[bot] merged 3 commits into
masterfrom
adaptation-14462

downstream: undo overrides

789d80b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar