Theorem CategoryTheory.NatTrans.Coequifibered.rightOp

Modification history

2026-02-06 11:03

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

feat(AlgebraicGeometry): replace `PreservesLocalization` with `Coequifibered` (#34701)

Added CategoryTheory.NatTrans.Coequifibered.rightOp View on Github →