Theorem CategoryTheory.MorphismProperty.universally_mk'

Modification history

2025-04-03 10:34
Mathlib/CategoryTheory/MorphismProperty/Limits.lean
feat(AlgebraicGeometry): universally open morphisms (#23606)
Added CategoryTheory.MorphismProperty.universally_mk'View on Github →