Def CategoryTheory.Limits.WalkingParallelFamily.equivalenceOfEquiv

Modification history

2026-08-11 14:33
Mathlib/CategoryTheory/Limits/Shapes/WideEqualizers.lean
chore(CategoryTheory/Adjunction/AdjointFunctorTheorems): generalize universes (#41244) …
Added CategoryTheory.Limits.WalkingParallelFamily.equivalenceOfEquivView on Github →