Theorem CategoryTheory.ObjectProperty.trW_isoClosure

Modification history