Def CategoryTheory.Sigma.mapComp

Modification history

2024-07-08 14:54
Mathlib/CategoryTheory/Sigma/Basic.lean
chore: tidy three miscellaneous porting notes (#14511) …
Modified CategoryTheory.Sigma.mapCompView on Github →
2023-02-02 19:23
Mathlib/CategoryTheory/Sigma/Basic.lean
feat: port CategoryTheory.Sigma.Basic (#1147)
Added CategoryTheory.Sigma.mapCompView on Github →