Theorem CategoryTheory.monoOver_terminal_to_subterminals_comp

Modification history