Digitizing the Group Theory of the Odd Order Theorem
Georges Gonthier (Microsoft Research, Cambridge, and Microsoft INRIA Joint Center, Palaiseau): Digitizing the Group Theory of the Odd Order Theorem
Georges Gonthier (Microsoft Research, Cambridge, and Microsoft INRIA Joint Center, Palaiseau): Digitizing the Group Theory of the Odd Order Theorem
De Vladimir Voevodsky
De Gérard Berry
De Gérard Berry
De Jean Louis Krivine