mathlib
2bc5750e - feat(algebra/homology/exact): preadditive.exact_iff_exact_of_iso

Commit

4 years ago

feat(algebra/homology/exact): preadditive.exact_iff_exact_of_iso

Author

jcommelin

jcommelin

Parents

Loading