Recherche par Domaine
Domaine III - Résultats et théorèmes
les énoncés exacts Les énoncés exacts du programme, démontrés ou en cours de formalisation Lean : orbite A₄, théorème E, obstruction de Dirichlet C-031, projecteur C-036, no-go C-037, support de Sophie Germain.