Theorem CategoryTheory.IsVanKampenColimit.of_mapCocone

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.of_mapCocone View on Github →