Def CategoryTheory.Limits.fullyFaithfulReflectsColimits
Modification history
2023-11-18 09:34
Mathlib/CategoryTheory/Limits/Preserves/Basic.lean
chore: make fullyFaithfulReflects(Co)Limits instances (#8462)
Deleted CategoryTheory.Limits.fullyFaithfulReflectsColimitsView on Github →