Skip to content
Snippets Groups Projects

More changes to `finite_sets.v`

Closed More changes to `finite_sets.v`
finite_sets_2 into master
Closed Paolo G. Giarrusso requested to merge finite_sets_2 into master
Compare
and
38 files
+ 2175
− 601
Compare changes
  • Side-by-side
  • Inline
Files
38
tests/eunify.v
+ 1
− 1
@@ -42,4 +42,4 @@ Proof.
| |- 0 < ?x => eunify x 2
end.
lia.
Qed.
\ No newline at end of file
Qed.