Theorem CategoryTheory.ObjectProperty.ι_δ

Modification history