Theorem CategoryTheory.ObjectProperty.trW_iff_of_distinguished

Modification history