Theorem CategoryTheory.Limits.CompleteLattice.prod_eq_inf

Modification history