Stack Exchange
log in
chat
meta
about
Stack Exchange
All Sites
Hot Questions
Top Users
Newsletters
Blogs
Egbert
Age: 27
top
accounts
reputation
activity
favorites
subscriptions
Top Questions
10
votes
If $f(x)=g(x)$ for all $x:A$, why is it not true that $\lambda x{.}f(x)=\lambda x{.}g(x)$?
lambda-calculus
type-theory
asked Jun 6 '12 at 15:02
math.stackexchange.com
6
votes
How can I vertically align the labels in a tikz diagram
tikz-pgf
diagrams
asked May 27 '12 at 15:17
tex.stackexchange.com
Top Answers
16
Fundamental group as a functor
math.stackexchange.com
15
How to draw a poset Hasse Diagram using TikZ?
tex.stackexchange.com
9
Count the number group homomorphisms from $S_3$ to $Z/6Z$ ?
math.stackexchange.com
8
Questions about the center of a group
math.stackexchange.com
6
Normal Subgroups that Intersect Trivially
math.stackexchange.com
6
$\cos(x)$ and $\arccos(x)$ couple limit
math.stackexchange.com
6
Identity to simplify sum with binomial coefficient
math.stackexchange.com
6
Some elementary number theory proofs.
math.stackexchange.com
5
Rewriting repeated integer division with multiplication
math.stackexchange.com
Stack Exchange works best with JavaScript enabled
math.stackexchange.com
tex.stackexchange.com
