User:SpiralSource/Sandbox


 * add notes from Set Theory and Metric spaces (proofs of countability)
 * add more references to Bijection, injection and surjection; move history section to the top