Theorem CategoryTheory.ObjectProperty.ιOfLE_η

Modification history