Def CategoryTheory.Limits.CompleteLattice.finiteColimitCocone

Modification history