User:Vel!/ExE


 * 1) Ebn = bn
 * 2) @m&n = @m&[n]m (n < ω)
 * 3) @m&1 = @m
 * 4) @m&*#(n+1) = @m&m&*#n
 * 5) @m#(n+1) = @m#n = @(@m#n)
 * 6) @m#n = sup{a < n|@m#a} (n ≥ ω)