Inductive CategoryTheory.WithInitial

Modification history