Theorem CategoryTheory.mem_isoClosure

Modification history