Reid Barton
Results
32
comments of
Reid Barton
Definitely worth checking out https://github.com/cmu-phil/Spectral which goes all the way through spectral sequences, though only for modules over a ring.
An alternative to `and` could be `andif`.