[SOLVED] Beginner Type Proof: subsets

Printable View