Theorem CategoryTheory.Subobject.wideCospan_map_term

Modification history