Theorem CategoryTheory.IsSubterminal.mono_isTerminal_from

Modification history