Theorem CategoryTheory.ObjectProperty.prop_unit

Modification history