Theorem CategoryTheory.mem_isoClosure_iff

Modification history