quasi_iso): 2-out-of-3 property (#12898)

Commit

3 years ago

feat(algebra/homology/quasi_iso): 2-out-of-3 property (#12898) Co-authored-by: Joël Riou <37772949+joelriou@users.noreply.github.com>

Author

joelriou

Parents