Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.limits.complete_lattice.limit_eq_infi

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.limit_eq_infi View on Github →