Theorem CategoryTheory.Limits.Over.over_hasTerminal

Modification history