refactor(CategoryTheory/Presentable): cleaning up HasCardinalFilteredGenerator(s) #15838
joelriouadd_label_from_diff.yaml
on: pull_request_target
Add topic label
53s
Annotations
2 notices
|
Add topic label
not adding multiple labels: #[t-algebra, t-category-theory]
|
|
Add topic label
Applicable labels: #[t-algebra, t-category-theory]
|