Theorem CategoryTheory.ObjectProperty.ihom_obj

Modification history