feat(CategoryTheory/Presentable): lemmas about sharply smaller regular cardinals - #42761
Open
joelriou wants to merge 1 commit into
Open
feat(CategoryTheory/Presentable): lemmas about sharply smaller regular cardinals#42761joelriou wants to merge 1 commit into
joelriou wants to merge 1 commit into
Annotations
2 notices
|
Run autolabel
not adding more than 1 labels: #[t-category-theory, t-set-theory]
|
|
Run autolabel
Applicable labels: #[t-category-theory, t-set-theory]
|
background
wait
wait-all
cancel
parallel
Loading