Theorem CategoryTheory.NatTrans.equifibered_of_isIso

Modification history

2023-10-26 10:03

Mathlib/CategoryTheory/Extensive.lean

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

Modified CategoryTheory.NatTrans.equifibered_of_isIso View on Github →

2023-06-02 11:07

Mathlib/CategoryTheory/Extensive.lean

feat: port CategoryTheory.Extensive (#4022)

Added CategoryTheory.NatTrans.equifibered_of_isIso View on Github →