Theorem CategoryTheory.WithInitial.down_comp

Modification history