Theorem CategoryTheory.IsVanKampenColimit.mapCocone_iff

Modification history

2023-10-26 10:03

Mathlib/CategoryTheory/Limits/VanKampen.lean

feat(CategoryTheory/Limits/VanKampen): Properties of van Kampen colimits (#7745) …

Added CategoryTheory.IsVanKampenColimit.mapCocone_iff View on Github →