[Merged by Bors] - feat(ENat): (∀ a : ℕ, a ≤ m → a ≤ n) ↔ m ≤ n#23101
Closed
YaelDillies wants to merge 7 commits intomasterfrom
Closed
[Merged by Bors] - feat(ENat): (∀ a : ℕ, a ≤ m → a ≤ n) ↔ m ≤ n#23101YaelDillies wants to merge 7 commits intomasterfrom
(∀ a : ℕ, a ≤ m → a ≤ n) ↔ m ≤ n#23101YaelDillies wants to merge 7 commits intomasterfrom
Commits
Commits on Mar 19, 2025
- committed
- committed
- committed
- authored
- andauthored
- committed
- committed
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}