Theorem CategoryTheory.Limits.CompleteLattice.pushout_eq_sup

Modification history