Theorem CategoryTheory.MonoOver.bot_arrow

Modification history