!4#3280

Stream: PR reviews

[Jeremy Tan]

!4#3280 While this does compile @Matthew Ballard left a comment that diagnosing why continuity initially failed would be a good thing to do before merging. I need lots of eyes on this one – it unblocks even more files than Topology.Algebra.Module.Basic

[Eric Wieser]

We have plenty of other files open for porting right now, so I don't think any blockages are currently urgent