Advertisement
tinyevil

Untitled

Feb 20th, 2018
168
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.11 KB | None | 0 0
  1. Definition a_or_b (A B:Prop) (p:A \/ B) :=
  2. match p with
  3. | or_introl _ => 1
  4. | or_intror _ => 4
  5. end.
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement