Skip to content

Commit

Permalink
Improve spec of wp lemmas + prove converse of incorrect correct proof…
Browse files Browse the repository at this point in the history 
… proposition
  • Loading branch information
@hei411
hei411 committed Feb 5, 2024
1 parent 306d848 commit 7c8e2b4
Showing 1 changed file with 99 additions and 84 deletions.
Loading

0 comments on commit 7c8e2b4

Please sign in to comment.