[Merged by Bors] - doc(CategoryTheory): fix typos#30558
Closed
harahu wants to merge 6 commits intoleanprover-community:masterfrom
Closed
[Merged by Bors] - doc(CategoryTheory): fix typos#30558harahu wants to merge 6 commits intoleanprover-community:masterfrom
harahu wants to merge 6 commits intoleanprover-community:masterfrom
Commits
Commits on Oct 14, 2025
- committed
- committed
- committed
- committed
- committed
- committed
