# Def category_theory.limits.pushout.inl

#### 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.pushout.inlView on Github →