Def CategoryTheory.isoClosure

Modification history