Documentation
ChebyshevCircles
Search
return to top
source
Imports
Init
ChebyshevCircles.MainTheorem
ChebyshevCircles.ProofOfMainTheorem
ChebyshevCircles.Definitions.ChebyshevRoots
ChebyshevCircles.Definitions.Core
ChebyshevCircles.Proofs.ChebyshevOrthogonality
ChebyshevCircles.Proofs.ChebyshevRoots
ChebyshevCircles.Proofs.MainTheoremSupport
ChebyshevCircles.Proofs.NewtonIdentities
ChebyshevCircles.Proofs.PolynomialConstruction
ChebyshevCircles.Proofs.PolynomialProperties
ChebyshevCircles.Proofs.PowerSumEquality
ChebyshevCircles.Proofs.PowerSums
ChebyshevCircles.Proofs.RootsOfUnity
ChebyshevCircles.Proofs.TrigonometricIdentities
Imported by