Def category_theory.sigma.map_id

Modification history