Theorem CategoryTheory.Limits.CompleteLattice.finite_colimit_eq_finset_univ_sup

Modification history