Def CategoryTheory.Limits.WidePushoutShape.uliftEquivalence

Modification history

2023-07-04 05:50

Mathlib/CategoryTheory/Limits/Shapes/WidePullbacks.lean

chore: dualize statements about pullbacks to pushouts (#5700)

Added CategoryTheory.Limits.WidePushoutShape.uliftEquivalence View on Github →