Theorem CategoryTheory.nonempty_isLeftAdjoint_iff_hasTerminal_costructuredArrow

Modification history