Theorem CategoryTheory.mem_essImage_of_unit_isSplitMono

Modification history