Theorem CategoryTheory.mem_iff_of_iso

Modification history