Andrew Yang

I removed the comments in `Topology/Sheaves/*` as the file is designed to have this instance on.

I'll try out the approach Johan mentioned. `GlueData.mk₂` is definitely useful, but I don't think we should introduce `if then else` everywhere.

After some more thought, I think `GlueData'` is only useful when `i = j` and `i =/= j` need different approaches, so maybe adding `i ≠ j` in the data...

Thanks! maintainer merge

Please merge master, thanks.

Thanks! maintainer merge