Def CategoryTheory.WithInitial.liftStar

Modification history