application.omega 64 Bytes Raw Blame History Permalink 1 2 3 {[x]} {[x] -> [y] : y = 2x} {[y]: Exists ( alpha : 2alpha = y)}