add(SetTheory): Recursion, ordinal addition and multiplication #2668
iehalityci.yml
on: pull_request
Check mk_all executed
1m 54s
Check references.bib format
28s
Generate page
0s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
lean-artifacts
Expired
|
34.7 MB |
sha256:d23cf63d55f4aec073c90aeb4f6621933aab2dd60e2d5f67a1bf88809ee35cc9
|
|