Theorem CategoryTheory.subterminals_to_monoOver_terminal_comp_forget

Modification history