Theorem category_theory.limits.pullback.condition
Modification history
2020-08-10 12:46
src/category_theory/limits/shapes/pullbacks.lean
chore(category_theory/limits): minor changes in equalizers and products (#3603)
Modified category_theory.limits.pullback.conditionView on Github →