Theorem CategoryTheory.Limits.CompleteLattice.finite_coproduct_eq_finset_sup

Modification history