Skip to content
Snippets Groups Projects
Commit b3f7a4bc authored by Sergey Bozhko's avatar Sergey Bozhko :eyes: Committed by Björn Brandenburg
Browse files

clean up `nat.v` 

Note that many files have changed; however, this is due to the fact that some of the lemmas in nat.v have been renamed or removed.
parent ac4fcc46
No related branches found
No related tags found
Checking pipeline status
Hide whitespace changes
Inline Side-by-side
Showing
with 93 additions and 90 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment