Inductive CategoryTheory.Sigma.SigmaHom

Modification history

2025-03-12 15:12
Mathlib/CategoryTheory/Sigma/Basic.lean
chore(whitespace): yet some more whitespace changes (#22854) …
Modified CategoryTheory.Sigma.SigmaHomView on Github →
2023-02-02 19:23
Mathlib/CategoryTheory/Sigma/Basic.lean
feat: port CategoryTheory.Sigma.Basic (#1147)
Added CategoryTheory.Sigma.SigmaHomView on Github →