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.