Theorem CategoryTheory.Limits.hasInitialChangeDiagram

Modification history