Theorem CategoryTheory.ObjectProperty.ι_map

Modification history