Def CategoryTheory.Limits.fullyFaithfulReflectsLimits

Modification history

2023-11-18 09:34
Mathlib/CategoryTheory/Limits/Preserves/Basic.lean
chore: make fullyFaithfulReflects(Co)Limits instances (#8462)
Deleted CategoryTheory.Limits.fullyFaithfulReflectsLimitsView on Github →
2023-09-14 13:42
Mathlib/CategoryTheory/Limits/Preserves/Basic.lean
style: fix wrapping of `where` (#7149)
Modified CategoryTheory.Limits.fullyFaithfulReflectsLimitsView on Github →
2023-03-01 07:31
Mathlib/CategoryTheory/Limits/Preserves/Basic.lean
feat: port/CategoryTheory.Limits.Preserves.Basic (#2377)
Added CategoryTheory.Limits.fullyFaithfulReflectsLimitsView on Github →