Theorem CategoryTheory.Subobject.map_top

Modification history