Theorem CategoryTheory.ObjectProperty.trW_of_isIso

Modification history