Commit 2020-08-24 01:55 1ccdbb9c
View on Github →feat(category_theory/images): unique image (#3921) Show that the strong-epi mono factorisation of a morphism is unique.
feat(category_theory/images): unique image (#3921) Show that the strong-epi mono factorisation of a morphism is unique.