reason why df-clab, df-cleq and df-clel should be reordered#4993
Open
wlammen wants to merge 30 commits intometamath:developfrom
Open
reason why df-clab, df-cleq and df-clel should be reordered#4993wlammen wants to merge 30 commits intometamath:developfrom
wlammen wants to merge 30 commits intometamath:developfrom
Commits
Commits on Aug 27, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Aug 28, 2025
- committed
- committed
- committed
- committed
Commits on Aug 29, 2025
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Aug 30, 2025
- committed
- committed
Commits on Sep 14, 2025
- committed
- committed
- committed
- committed
Commits on Sep 15, 2025
- committed
- committed
- committed