Theorem CategoryTheory.Functor.IsLocalization.for_id

Modification history

2024-05-01 07:53

Mathlib/CategoryTheory/Localization/Predicate.lean

chore(CategoryTheory/MorphismProperty): Use le instead of subset (#12520)

Modified CategoryTheory.Functor.IsLocalization.for_id View on Github →

2023-03-27 13:48

Mathlib/CategoryTheory/Localization/Predicate.lean

feat: port CategoryTheory.Localization.Predicate (#2930)

Added CategoryTheory.Functor.IsLocalization.for_id View on Github →