feat(Algebra/Lie/BaseChange): map of base-changed Lie algebras (#34865) #21550
mathlib-bors[bot]bors.yml
on: push
ci (staging)
/
Build
10m 1s
ci (staging)
/
Lint style
2m 17s
ci (staging)
/
Post-CI job
7s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
|
273 KB |
sha256:773f00cc43dc4150888657180149609eb1a685042712d826db2006835cd32a55
|
|