∫ Утверждение Mathlib

wIso_eq_isoOfHom

Mathlib.CategoryTheory.Localization.Predicate

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Localization.Construction.wIso_eq_isoOfHom

← MathLib Explorer