Def CategoryTheory.WithInitial.starInitial

Modification history