Advertisement
tinyevil

Untitled

Nov 29th, 2017
161
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.08 KB | None | 0 0
  1. >= (a:Natural, b:Natural) -> Or < GreaterEqual<a,b>, Not< GreaterEqual<a,b> > >
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement