Theorem CategoryTheory.mem_of_isIso

Modification history