Def CategoryTheory.Limits.isLimitOfReflects
Modification history
2023-03-07 14:15
Mathlib/CategoryTheory/Limits/Preserves/Basic.lean
fix: use dot notation for mapCone/mapCocone (#2696) …
Modified CategoryTheory.Limits.isLimitOfReflectsView on Github →