exact.lean

Commit

4 years ago

Update src/algebra/homology/exact.lean Co-authored-by: Markus Himmel <markus@himmel-villmar.de>

References

Author

jcommelin

Parents