feat(RingTheory/Valuation/Discrete/Basic): add exists_zpow_Uniformizer #237884
Triggered via pull request
October 10, 2025 15:03
mariainesdff
mariainesdff
opened
#30405
Status
Success
Total duration
13m 8s
Artifacts
2
build_fork.yml
on: pull_request_target
Build (fork)
10m 43s
Lint style (fork)
3m 16s
Post-CI job (fork)
6s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
Expired
|
246 KB |
sha256:241ed4166408bd4d5614ff8e5820dd909a15c7d776834248900414d453fd38a7
|
|
|
mathlib4_artifact
|
1.61 GB |
sha256:08297d5e9427501db77bbdec57250f8e0ec98936bc47030c921ee241d09a7290
|
|