Def CategoryTheory.preservesLimitOfIsIsoPost

Modification history

2024-11-19 08:25

Mathlib/CategoryTheory/Limits/Preserves/Limits.lean

refactor(CategoryTheory): make PreservesLimit and ReflectsLimit props (#19206) …

Deleted CategoryTheory.preservesLimitOfIsIsoPost View on Github →

2024-03-17 01:49

Mathlib/CategoryTheory/Limits/Preserves/Limits.lean

feat: preserves colimit if colimit.post is iso (#11421)

Added CategoryTheory.preservesLimitOfIsIsoPost View on Github →