stalks): Refactor proofs about stalk map (#8000)

Commit

4 years ago

refactor(topology/sheaves/stalks): Refactor proofs about stalk map (#8000) Refactoring and speeding up some of my code on stalk maps from #7092.

Author

justus-springer

Parents