Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.limits.complete_lattice.colimit_eq_supr

Modification history

2021-10-11 04:03

src/category_theory/limits/lattice.lean

feat(category_theory/limits/lattice): Add explicit formulas for limits in lattices (#9608) …

Added category_theory.limits.complete_lattice.colimit_eq_supr View on Github →