[Merged by Bors] - refactor: rename Cardinal.ord_eq → Cardinal.exists_ord_eq#37330
Closed
vihdzp wants to merge 16 commits intoleanprover-community:masterfrom
Closed
[Merged by Bors] - refactor: rename Cardinal.ord_eq → Cardinal.exists_ord_eq#37330vihdzp wants to merge 16 commits intoleanprover-community:masterfrom
Cardinal.ord_eq → Cardinal.exists_ord_eq#37330vihdzp wants to merge 16 commits intoleanprover-community:masterfrom
Commits
Commits on Mar 22, 2026
Commits on Mar 28, 2026
- authored
- authored
- authored