Theorem CategoryTheory.Limits.Cofork.π_comp_hom

Modification history

2026-10-07 19:00

Mathlib/CategoryTheory/Limits/Shapes/Equalizers.lean

chore(CategoryTheory/Limits/Shapes/Equalizers): use `to_dual` (#44215) …

Added CategoryTheory.Limits.Cofork.π_comp_hom View on Github →