add(SetTheory): Recursion, ordinal addition and multiplication #2653
iehalityci.yml
on: pull_request
Check mk_all executed
6m 46s
Check references.bib format
29s
Generate page
0s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
lean-artifacts
Expired
|
34.7 MB |
sha256:47b3c1ecdf59d1267128939e60a9c879cd94872fbb40b0623e63ca6b6a7a697f
|
|