Theorem CategoryTheory.ObjectProperty.trW_iff'

Modification history