Skip to content
Check PR titles

[Merged by Bors] - feat(SetTheory/Cardinal): formulas for sum (fun n : ℕ ↦ x ^ n) #4848

Sign in to view logs

[Merged by Bors] - feat(SetTheory/Cardinal): formulas for sum (fun n : ℕ ↦ x ^ n)

[Merged by Bors] - feat(SetTheory/Cardinal): formulas for sum (fun n : ℕ ↦ x ^ n) #4848

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check_title
-9s
-9s
⚡