Def CategoryTheory.preservesLimitIso

Modification history

2023-03-01 18:09

Mathlib/CategoryTheory/Limits/Preserves/Limits.lean

feat: port/CategoryTheory.Limits.Preserves.Limit (#2379)

Added CategoryTheory.preservesLimitIso View on Github →