[Merged by Bors] - Add q-expansion identities for Eisenstein series. #236528
CBirkbeckbuild_fork.yml
on: pull_request_target
Lint style (fork)
3m 2s
Build (fork)
11m 13s
Post-CI job (fork)
4s
CI Success
2s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
Expired
|
244 KB |
sha256:de31558c80d4ba0e7df6ff51bba36ff16b2ef6ee2ce1a48d9a03f00b3b801acb
|
|
|
mathlib4_artifact
Expired
|
1.59 GB |
sha256:2e5e59e153be52f69d56f599bb6297edb8a5869e052f9b9c23f389cf6a479c3b
|
|