Theorem CategoryTheory.Localization.essSurj
Modification history
2024-07-30 01:09
Mathlib/CategoryTheory/Localization/Predicate.lean
chore: backports for leanprover/lean4#4814 (part 4) (#15255) …
Modified CategoryTheory.Localization.essSurjView on Github →