[Merged by Bors] - feat(Combinatorics/Quiver): add congruence theorems for reflexive prefunctors #239050
juliankombuild_fork.yml
on: pull_request_target
Build (fork)
12m 34s
Lint style (fork)
1m 59s
Post-CI job (fork)
5s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
|
247 KB |
sha256:18e933ced5bf5111e0eed7dc36a4cceb7b970437f4ea025178c125b55a0c1d8b
|
|
|
mathlib4_artifact
|
1.61 GB |
sha256:eea110664562098f57eef6d7418ae3c84acdb25b6532814da1a2f6b07b252159
|
|