mathlib
26c0c23e - feat(algebra/homology/image_to_kernel): homology.map_iso (#9978)

Commit

4 years ago

feat(algebra/homology/image_to_kernel): homology.map_iso (#9978)

Author

jcommelin

jcommelin

Parents

Loading