Theorem CategoryTheory.WithTerminal.down_comp

Modification history