Def CategoryTheory.WithTerminal.id

Modification history