Started work on the Grothendieck pullbacks.#15
Merged
sinhp merged 2 commits intosinhp:masterfrom SpencerWoolfson:masterAug 2, 2024
+236-18
Commits
Commits on Jul 25, 2024
authored andSpencer WoolfsoncommittedSpencer Woolfson
Commits on Jul 29, 2024
- authored andSpencer WoolfsoncommittedSpencer Woolfson