Def CategoryTheory.Sigma.SigmaHom.comp

Modification history

2023-02-02 19:23

Mathlib/CategoryTheory/Sigma/Basic.lean

feat: port CategoryTheory.Sigma.Basic (#1147)

Added CategoryTheory.Sigma.SigmaHom.comp View on Github →