Theorem CategoryTheory.Limits.CompleteLattice.finite_limit_eq_finset_univ_inf

Modification history