Add constructive recognition for SL_n, take 2#371
Open
fingolfin wants to merge 46 commits into
Open
Commits
Commits on Jun 13, 2024
- committed
Daniel Rademacher
Commits on Jun 14, 2024
- committedDaniel Rademacher
Commits on Jun 18, 2024
- committedDaniel Rademacher
- committedDaniel Rademacher
Commits on Jun 19, 2024
- committed
- committedDaniel Rademacher
- committedDaniel Rademacher
- authored
Commits on Jun 20, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- authored andcommitted
Commits on Mar 18, 2025
- committed
- committed
- committed
- committed
Commits on May 15, 2025
- committed
- committed
- committed
- committed
- committed
Commits on Sep 2, 2025
Commits on Oct 21, 2025
Commits on Nov 6, 2025
Commits on Jan 20, 2026
Commits on Feb 3, 2026
Commits on Feb 10, 2026
- committed
Commits on Mar 17, 2026
Commits on Apr 28, 2026
Commits on May 26, 2026
Commits on Jun 3, 2026
- committed