Theorem CategoryTheory.MorphismProperty.isomorphisms_op

Modification history

2025-04-28 01:46
Mathlib/CategoryTheory/MorphismProperty/Basic.lean
feat(CategoryTheory/Localization): the calculus of fractions that is deduced from an adjunction (#22748) …
Added CategoryTheory.MorphismProperty.isomorphisms_opView on Github →