Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.limits.concrete.multiequalizer_ext

Modification history

2022-07-03 11:47

src/category_theory/limits/concrete_category.lean

refactor(category_theory): generalise universe levels in preservation statements (#15067) …

Modified category_theory.limits.concrete.multiequalizer_ext View on Github →

2021-11-12 00:19

src/category_theory/limits/concrete_category.lean

feat(category_theory/limits/concrete_category): A lemma about concrete multiequalizers (#10277)

Added category_theory.limits.concrete.multiequalizer_ext View on Github →