Theorem CategoryTheory.mem_iff_of_isIso

Modification history