feat(Algebra/Category): the category of local algebras with a fixed residue field#37940
Open
BryceT233 wants to merge 52 commits intoleanprover-community:masterfrom
Open
feat(Algebra/Category): the category of local algebras with a fixed residue field#37940BryceT233 wants to merge 52 commits intoleanprover-community:masterfrom
BryceT233 wants to merge 52 commits intoleanprover-community:masterfrom
Commits
Commits on Apr 9, 2026
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
Commits on Apr 11, 2026
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
Commits on Apr 12, 2026
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
Commits on Apr 13, 2026
- authored
Commits on Apr 14, 2026
Commits on Apr 15, 2026
- authored
- authored
- authored
- authored
- authored