fix some lemmas

This commit is contained in:
Andley Chang 2022-06-29 17:04:36 +08:00
parent f69f48fc23
commit 57cb388e1f
8 changed files with 8255 additions and 117354 deletions

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

2452
OGNTa.txt

File diff suppressed because it is too large Load Diff

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff