feat(Algebra/Order/Antidiagonal): connect Finset.HasAntidiagonal with Filter.TendstoCofinite#41555
Open
BryceT233 wants to merge 7 commits into
Open
Commits
Commits on Jul 10, 2026
- authored
- authored
- authored
- authored
- authored
- authored
- authored
