Church's lambda calculus treats functions as extensional; this mirrors how typed property systems ac...
This proposition has not been edited since the history system was added.