[Merged by Bors] - feat: fun_prop lemmas for GL n R and SL n R#37604
Closed
j-loreaux wants to merge 8 commits intoleanprover-community:masterfrom
Closed
[Merged by Bors] - feat: fun_prop lemmas for GL n R and SL n R#37604j-loreaux wants to merge 8 commits intoleanprover-community:masterfrom
fun_prop lemmas for GL n R and SL n R#37604j-loreaux wants to merge 8 commits intoleanprover-community:masterfrom
Commits
Commits on Apr 3, 2026
Commits on Apr 4, 2026
- committed
- committed
- committed
- committed
- andauthored