The transcendence of π

Source: url:https://github.com/samuelborza/IsTranscendentalPi Authors: James Huang, Samuël Borza Status: verified Main declarations: IsTranscendentalPi, IsTranscendentalPiReal Tags: transcendence, pi, number-theory, niven MSC: 11A41