Theorem CategoryTheory.Limits.Sigma.map'_id_id

Modification history