Prove a function is constant.

Printable View