Def CategoryTheory.Sigma.natTrans.sigma

Modification history

2023-02-02 19:23
Mathlib/CategoryTheory/Sigma/Basic.lean
feat: port CategoryTheory.Sigma.Basic (#1147)
Added CategoryTheory.Sigma.natTrans.sigmaView on Github →