chore(topology/sheaves): speed up slow proofs by tidy (#6274)
No changes, just making some proofs by tidy explicit, so the file is not quite as slow as previously. Now compiles with `-T40000`.
Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
