Skip to content
Add "ready-to-merge" and "delegated" label

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

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) #167367

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Add ready-to-merge or delegated label
4s
4s
⚡