feat(Algebra/Category): introduce the category of local algebras with a fixed residue field#37940
Open
BryceT233 wants to merge 36 commits intoleanprover-community:masterfrom
Open
feat(Algebra/Category): introduce the category of local algebras with a fixed residue field#37940BryceT233 wants to merge 36 commits intoleanprover-community:masterfrom
BryceT233 wants to merge 36 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