November 2009
1 post
It might just save your life someday
(where x must not occur free in P) (where x must not occur free in P) Identities :]]
September 2009
1 post