feat(AlgebraicGeometry): tilde-Gamma adjunction (#35123) #21538
mathlib-bors[bot]bors.yml
on: push
ci (staging)
/
Build
8m 35s
ci (staging)
/
Lint style
1m 55s
ci (staging)
/
Post-CI job
7s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
|
273 KB |
sha256:6be8e6304b9d3416fe9d339fcfe4083ae1d3e053e1762ecc463c2f8a516fdd7b
|
|