Prove comnplement function on [n] is bijective

Printable View