Theorem CategoryTheory.Limits.CompleteLattice.pullback_eq_inf

Modification history