Commit 2021-06-22 12:45 a3699b98
View on Github →refactor(topology/sheaves/stalks): Refactor proofs about stalk map (#8000) Refactoring and speeding up some of my code on stalk maps from #7092.
refactor(topology/sheaves/stalks): Refactor proofs about stalk map (#8000) Refactoring and speeding up some of my code on stalk maps from #7092.