refactor: replace Sentence ℒₒᵣ/Sentence ℒₛₑₜ with ArithmeticSentence/SetTheorySentence
#2656
SnO2WMaNci.yml
on: pull_request
Check mk_all executed
1m 54s
Check references.bib format
31s
Generate page
0s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
lean-artifacts
Expired
|
34.7 MB |
sha256:9b641c3577d7881256210ffdbf9a78f05261220602baa423b98cf7405aabbf6c
|
|