Commit 1786f6a
Sirui Lu
refactor(peps): split oversized comparison files
1 parent 9dff417 commit 1786f6a
5 files changed
Lines changed: 2124 additions & 2049 deletions
File tree
- TNLean/PEPS
- FundamentalTheorem
- TwoInjectiveComparison
1 parent 9dff417 commit 1786f6a
5 files changed
0 commit comments