Theorem CategoryTheory.IsVanKampenColimit.whiskerEquivalence

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