Skip to content

feat(CategoryTheory/MorphismProperty): If P is stable under retracts, then P respects isomorphisms.#22274

Open
joelriou wants to merge 1 commit intomasterfrom morphism-property-respects-iso-of-retract
+10

Commits