Prove result for functions?

Printable View