Def CategoryTheory.preservesColimitIso

Modification history

2023-03-01 18:09

Mathlib/CategoryTheory/Limits/Preserves/Limits.lean

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

Added CategoryTheory.preservesColimitIso View on Github →