Theorem CategoryTheory.ObjectProperty.ιOfLE_μ

Modification history