Commit 2023-08-27 17:09 16a23a07

View on Github →

feat: more API for Sigma.map' (#6811)

Estimated changes

Modified Mathlib/CategoryTheory/Limits/Shapes/Products.lean

added theorem CategoryTheory.Limits.Pi.map'_eq

added theorem CategoryTheory.Limits.Pi.map'_id_id

added theorem CategoryTheory.Limits.Pi.map_id

added theorem CategoryTheory.Limits.Sigma.map'_eq

added theorem CategoryTheory.Limits.Sigma.map'_id_id

added theorem CategoryTheory.Limits.Sigma.map_id