Inductive CategoryTheory.WithTerminal

Modification history