Documentation
FormalConjectures
.
Util
.
ForMathlib
Search
return to top
source
Imports
Init
FormalConjectures.ForMathlib.AlgebraicGeometry.ProjectiveSpace
FormalConjectures.ForMathlib.AlgebraicGeometry.VectorBundle
FormalConjectures.ForMathlib.Combinatorics.Basic
FormalConjectures.ForMathlib.Geometry.«2d»
FormalConjectures.ForMathlib.Geometry.«3d»
FormalConjectures.ForMathlib.Geometry.Euclidean
FormalConjectures.ForMathlib.LinearAlgebra.SpecialLinearGroup
FormalConjectures.ForMathlib.NumberTheory.AdditivelyComplete
FormalConjectures.ForMathlib.NumberTheory.CoveringSystem
FormalConjectures.ForMathlib.NumberTheory.Lacunary
FormalConjectures.ForMathlib.NumberTheory.PrimeGap
FormalConjectures.ForMathlib.NumberTheory.WallSunSunPrimes
FormalConjectures.ForMathlib.Algebra.Group.Indicator
FormalConjectures.ForMathlib.Algebra.Polynomial.Basic
FormalConjectures.ForMathlib.Algebra.Polynomial.HasseDeriv
FormalConjectures.ForMathlib.Analysis.Asymptotics.Basic
FormalConjectures.ForMathlib.Analysis.SpecialFunctions.NthRoot
FormalConjectures.ForMathlib.Combinatorics.AP.Basic
FormalConjectures.ForMathlib.Combinatorics.Additive.Basis
FormalConjectures.ForMathlib.Combinatorics.Additive.Convolution
FormalConjectures.ForMathlib.Combinatorics.SimpleGraph.Balanced
FormalConjectures.ForMathlib.Combinatorics.SimpleGraph.Coloring
FormalConjectures.ForMathlib.Combinatorics.SimpleGraph.DiamExtra
FormalConjectures.ForMathlib.Computability.TuringMachine.BusyBeavers
FormalConjectures.ForMathlib.Computability.TuringMachine.Notation
FormalConjectures.ForMathlib.Computability.TuringMachine.PostTuringMachine
FormalConjectures.ForMathlib.Data.Finset.Empty
FormalConjectures.ForMathlib.Data.Finset.OrdConnected
FormalConjectures.ForMathlib.Data.Nat.Full
FormalConjectures.ForMathlib.Data.Nat.MaxPrimeFac
FormalConjectures.ForMathlib.Data.Nat.Squarefree
FormalConjectures.ForMathlib.Data.Real.Constants
FormalConjectures.ForMathlib.Data.Set.Density
FormalConjectures.ForMathlib.Data.Set.Triplewise
FormalConjectures.ForMathlib.Data.ZMod.PerfectDifferenceSet
FormalConjectures.ForMathlib.NumberTheory.DirichletCharacter.Basic
FormalConjectures.ForMathlib.Order.Filter.Cofinite
FormalConjectures.ForMathlib.SetTheory.Cardinal.SimpleGraph
FormalConjectures.ForMathlib.Test.Computability.TuringMachine
FormalConjectures.ForMathlib.Analysis.SpecialFunctions.Log.Basic
FormalConjectures.ForMathlib.Combinatorics.SimpleGraph.GraphConjectures.Definitions
FormalConjectures.ForMathlib.Combinatorics.SimpleGraph.GraphConjectures.Domination
FormalConjectures.ForMathlib.Combinatorics.SimpleGraph.GraphConjectures.Invariants
FormalConjectures.ForMathlib.Data.Nat.Factorization.Basic
FormalConjectures.ForMathlib.Data.Nat.Prime.Composite
FormalConjectures.ForMathlib.Data.Nat.Prime.Defs
FormalConjectures.ForMathlib.Data.Nat.Prime.Finset
FormalConjectures.ForMathlib.Logic.Equiv.Fin.Rotate
FormalConjectures.ForMathlib.Order.Interval.Finset.Basic
FormalConjectures.ForMathlib.Order.Interval.Finset.Nat
FormalConjectures.ForMathlib.Algebra.Order.Group.Pointwise.Interval
Imported by