Theorem CategoryTheory.NatTrans.Equifibered.whiskerLeft

Modification history

2023-10-26 10:03

Mathlib/CategoryTheory/Limits/VanKampen.lean

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

Added CategoryTheory.NatTrans.Equifibered.whiskerLeft View on Github →