Login or sign up Lost password?
Login or sign up
I'm a mathematician just starting to get used to Isabelle, and something that should be incredibly simple turned out to be frustrating. Say, the function f: \to mapping 1 to 1, 2 to 4 and 3 to 2?