chore(Algebra/Order/Antidiag): relax an assumption in the definition of HasAntidiagonal#41521
Open
BryceT233 wants to merge 4 commits into
Open
chore(Algebra/Order/Antidiag): relax an assumption in the definition of HasAntidiagonal#41521BryceT233 wants to merge 4 commits into
HasAntidiagonal#41521BryceT233 wants to merge 4 commits into
Commits
Commits on Jul 9, 2026
- authored
- authored
- authored
- authored
