Theorem CategoryTheory.IsSubterminal.mono_terminal_from

Modification history