Theorem CategoryTheory.Limits.CompleteLattice.limit_eq_iInf

Modification history