mathlib
13ff898b - refactor(algebra/homology): better defeqs, less case splitting (#15690)

Commit

3 years ago

refactor(algebra/homology): better defeqs, less case splitting (#15690)

Author

jcommelin

jcommelin

Parents

Loading