Theorem CategoryTheory.Subobject.bot_arrow

Modification history