chore(topology/sheaves): speed up a slow proof (#6879)
In another branch this proof mysteriously becomes slightly too slow, so I'm offering a pre-emptive speed up, just replacing `simp` with `rw`.
Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
