[Merged by Bors] - feat(SetTheory/Cardinal): formulas for sum (fun n : ℕ ↦ x ^ n)
#256549
vihdzpbuild_fork.yml
on: pull_request_target
Build (fork)
40m 42s
Lint style (fork)
2m 17s
Post-CI job (fork)
8s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
Expired
|
262 KB |
sha256:196554da73188bd2417a56fac8a337bb5857c3a11c724beb44b6b8accf019fb0
|
|
|
mathlib4_artifact
Expired
|
1.91 GB |
sha256:e7f8e8df9d30e07eddae427177ecfe9b351dc62be23e1168019ab8b29777d59c
|
|