Theorem CategoryTheory.Limits.Pi.map'_eq

Modification history