Theorem CategoryTheory.ObjectProperty.ιOfLE_δ

Modification history