Theorem CategoryTheory.Sigma.SigmaHom.assoc

Modification history

2023-09-12 21:07
Mathlib/CategoryTheory/Sigma/Basic.lean
style: a linter for colons (#6761) …
Modified CategoryTheory.Sigma.SigmaHom.assocView on Github →
2023-02-02 19:23
Mathlib/CategoryTheory/Sigma/Basic.lean
feat: port CategoryTheory.Sigma.Basic (#1147)
Added CategoryTheory.Sigma.SigmaHom.assocView on Github →