Theorem category_theory.limits.cofork.condition
Modification history
2020-12-04 07:43
src/category_theory/limits/shapes/equalizers.lean
feat(category_theory/limits): cleanup equalizers (#5214) …
Modified category_theory.limits.cofork.conditionView on Github →