Skip to content
Snippets Groups Projects
Commit 83c51d8a authored by Felipe Lisboa's avatar Felipe Lisboa
Browse files

Remove unused Lemma in Util.v

parent 33d6fea5
Branches revert-523cae60
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 3 deletions
framework/DDR3/Util.v
+ 0
− 3
View file @ 83c51d8a
......@@ -12,9 +12,6 @@ Lemma nat_add_pred m n :
Proof.
Admitted.
Lemma nat_pred2_add (m : nat) : m.-2 + 1 = m.-1.
Admitted.
Lemma nat_cancel_terms a:
a - a = 0.
Proof.
......
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