Skip to content

Merge remote-tracking branch 'upstream/master' into stack

e7081a4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

feat(CategoryTheory): define descent data by presieves #29638

Merge remote-tracking branch 'upstream/master' into stack
e7081a4
Select commit
Loading
Failed to load commit list.