Fonctions et entiersCouvre les fonctions, les entiers, le GCD et le raisonnement par récurrence, y compris l'algorithme euclidien et le principe d'induction.
Propriétés de X/GExplore les propriétés de l'espace de quotient X/G lorsque X est compact et parfois séparé.