Theorem CategoryTheory.ObjectProperty.trW_iff

Modification history