chore: move import of Simproc.ExistsAndEq (#35138)
#21544
mathlib-bors[bot]bors.yml
on: push
ci (staging)
/
Build
51m 0s
ci (staging)
/
Lint style
2m 7s
ci (staging)
/
Post-CI job
11s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
|
273 KB |
sha256:0da246be2b16cb73d7b23325a05ed852636b54ff0e1d51d20ceafac6a1f3180f
|
|