Theorem CategoryTheory.Localization.Construction.morphismProperty_is_top'

Modification history

2023-03-24 20:19

Mathlib/CategoryTheory/Localization/Construction.lean

feat: port CategoryTheory.Localization.Construction (#2917)

Added CategoryTheory.Localization.Construction.morphismProperty_is_top'View on Github →