Cantor, level 9: Cantor says „Gute Wahl“ also for incorrect choices

[TentativeConvert]

For example, writing

let c : A → Y := fun a ↦ f a a 

as first line also leads to this positive but misleading reaction of Cantor.