|
Basic.lean
|
chore: upstream basic String lemmas (#4354)
|
2024-06-05 21:28:43 +00:00 |
|
Extra.lean
|
chore: upstream basic String lemmas (#4354)
|
2024-06-05 21:28:43 +00:00 |
|
Lemmas.lean
|
feat: some Char, UInt, and Fin theorems (#4231)
|
2024-05-21 06:11:23 +00:00 |
