Quelques jolis résultats

• ℝ est indénombrable
• L'axiomatique des réels implique le principe de Markov
• Problème de Bâle (1+1/2²+1/3²+1/4²+...= π²/6)
• Formule de Stirling (approximation de n!)
• Théorème des quatre carrés de Lagrange

De nouvelles bibliothèques

• Arithmétique
• Topologie (définition de nombreuses typeclass de base, recherche de définitions les plus générales possibles)
• Bibliothèques ordonnées de résultats sur les suites et séries réelles et les suites complexes
• Définition et manipulation des complexes et des concepts de base
• Formalisation des séries entières et développements sur les rayons de convergence