feat(Algebra/ModuleCat/Presheaf): composition of pushforwards and pullbacks and compatibilites #722
add_label_from_diff.yaml
on: pull_request
Add topic label
1m 10s
Annotations
2 notices
Add topic label
Applicable labels: #[t-algebra, t-category-theory]
|
Add topic label
not adding multiple labels: #[t-algebra, t-category-theory]
|