refactor(CategoryTheory/Presentable): cleaning up HasCardinalFilteredGenerator(s) #15838
Annotations
2 notices
lake exe autolabel
not adding multiple labels: #[t-algebra, t-category-theory]
|
lake exe autolabel
Applicable labels: #[t-algebra, t-category-theory]
|
Loading