Def CategoryTheory.WithTerminal.liftStar

Modification history