Johan Commelin (May 28 2018 at 10:46):
I now have a complex. I want to take its homology. I can't find quotient groups in mathlib. What is the best way forward? Should I define them myselves, or should I cast to modules?
Kenny Lau (May 28 2018 at 10:47):
you should define them yourself
Last updated: May 14 2021 at 20:13 UTC