Advertisement
Guest User

Untitled

a guest
Jun 27th, 2019
238
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.06 KB | None | 0 0
  1. H : R (proj1 (pair a b)) c
  2. H' : R (proj1 (pair a b)) a
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement