Theorem category_theory.limits.complete_lattice.finite_product_eq_finset_inf
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_product_eq_finset_infView on Github →