Theorem CategoryTheory.ObjectProperty.ιOfLE_ε

Modification history