diff options
Diffstat (limited to 'lib/Lattice.v')
-rw-r--r-- | lib/Lattice.v | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/lib/Lattice.v b/lib/Lattice.v index 1d58ee5a..390f49dd 100644 --- a/lib/Lattice.v +++ b/lib/Lattice.v @@ -456,6 +456,3 @@ Lemma ge_lub_left: forall x y, ge (lub x y) x. Proof. destruct x; destruct y; compute; tauto. Qed. End LBoolean. - - - |