Theorem CategoryTheory.NatTrans.equifibered_op_iff

Modification history

2026-02-04 20:33

Mathlib/CategoryTheory/Limits/Shapes/Pullback/Equifibered.lean

feat(CategoryTheory): Being equifibered is closed under limits (#34694)

Added CategoryTheory.NatTrans.equifibered_op_iff View on Github →