mathlib
ce8b14e5 - feat(category_theory/.../images): image.pre_comp_epi_of_epi

Commit

4 years ago

feat(category_theory/.../images): image.pre_comp_epi_of_epi

Author

kim-em

kim-em

Parents

Loading