Theorem CategoryTheory.Limits.IsTerminal.comp_from

Modification history