Theorem category_theory.limits.complete_lattice.finite_coproduct_eq_finset_sup
Modification history
2022-05-22 09:27
src/category_theory/limits/lattice.lean
refactor(category_theory): remove all decidability instances (#14046) …
Modified category_theory.limits.complete_lattice.finite_coproduct_eq_finset_supView on Github →