Theorem CategoryTheory.Limits.Sigma.map'_eq

Modification history