Commit 2021-12-14 07:40 f727e126
View on Github →chore(logic/basic): tidy ite
section and misplaced lemmas (#10761)
Moves a few lemmas down and use variables
.
chore(logic/basic): tidy ite
section and misplaced lemmas (#10761)
Moves a few lemmas down and use variables
.