Def CategoryTheory.ObjectProperty.isoClosure

Modification history