Theorem CategoryTheory.Limits.Sigma.map_id

Modification history