Def CategoryTheory.WithInitial.liftToInitialUnique

Modification history