Theorem CategoryTheory.Subobject.map_bot

Modification history