Theorem CategoryTheory.ObjectProperty.ι_η

Modification history