.cc / mathematics

This is a directory of my pastes on Repris concerning mathematics in some way.

Proofs

• Prüfer: proof of bijection between trees and Prüfer sequences
• Wedderburn corollary: proof that finite rings with at least two elements and no zero divisors are fields
• Banach: proof of the Banach fixed-point theorem. This is entirely my own work, save for the tip of "recursive sequences" by my professor.