feat(CategoryTheory/Sites): the equivalence between DescentData' and DescentData#35401
Open
joelriou wants to merge 5 commits intoleanprover-community:masterfrom
Open
feat(CategoryTheory/Sites): the equivalence between DescentData' and DescentData#35401joelriou wants to merge 5 commits intoleanprover-community:masterfrom
DescentData' and DescentData#35401joelriou wants to merge 5 commits intoleanprover-community:masterfrom
Commits
Commits on Feb 16, 2026
- committed
- committed
- committed
- committed
- committed
