Theorem CategoryTheory.WithTerminal.down_id

Modification history