Theorem CategoryTheory.ObjectProperty.ι_obj

Modification history