Theorem CategoryTheory.MonoOver.bot_left

Modification history