feat(AlgebraicGeometry): Semiring structure on ideal sheaves (#34935)
#21548
mathlib-bors[bot]bors.yml
on: push
ci (staging)
/
Build
10m 23s
ci (staging)
/
Lint style
2m 14s
ci (staging)
/
Post-CI job
11s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
|
273 KB |
sha256:12b4114d1e48a642fb5b67289d4599a92d8ff535cdf022b16dca43943756b057
|
|