Map cleanup
Addresses #124 (closed)
- Completed proofs of
find_add
,find_update
, andfind_singleton
- Overhauled lawful comparison and sortedness definitions, with many lemmas about these properties
- Fixed
_Set
proofs and work on sensible typeclass structuring relatingMap
's and_Set
'sFArgs
Edited by Evan Marzion