In GUI browsers, I have this page themed dynamically, so when it's dark outside, you'll get a dark theme. You need JS enabled if you want the dynamic theme; I don't run any JS-based analytics or tracking.
we try to find a method to combine two terms in a pair, in such a way that a component can be extracted from the pair.
definition of pair: π := λlrz.z l r
then: π P Q =β λz.z P Q
projection: