Def CategoryTheory.Limits.WalkingParallelFamily.arrowEquiv

Modification history

2025-01-23 06:28
Mathlib/CategoryTheory/Limits/Shapes/WideEqualizers.lean
feat(CategoryTheory): `κ`-filtered categories (#20005) …
Added CategoryTheory.Limits.WalkingParallelFamily.arrowEquivView on Github →