mathlib3
7776bbc1 - Clean up split mono/split epi theorem proofs to simplify

Commit

4 years ago

Clean up split mono/split epi theorem proofs to simplify

References

#16615 - feat(algebraic_topology/fundamental_groupoid): Add topological retraction and relate to category_theory retraction

Author

mlavrent

mlavrent

Parents

Loading