Pretty clean, I like the use of symbolic calculations here!
What I don't understand (likely because I don't know Python) is the difference between the following lines:
Wrong = lambda x: False Right = lambda x: lambda: True
Why is Wrong only a single layer of lambda while Right has/is two?