Documentation
LeanPool
.
ConwayRefinement
.
ConwayRefinement
.
Standalone
.
Mathlib
.
Examples
Search
return to top
source
Imports
Init
LeanPool.ConwayRefinement.ConwayRefinement.Standalone.Mathlib.Examples.DegreeTwoPrime
LeanPool.ConwayRefinement.ConwayRefinement.Standalone.Mathlib.Examples.DegreeTwoPrimeProof
LeanPool.ConwayRefinement.ConwayRefinement.Standalone.Mathlib.Examples.HahnIntegerPartRefinementCriterion
LeanPool.ConwayRefinement.ConwayRefinement.Standalone.Mathlib.Examples.HahnIntegerPartRefinementCriterionProof
LeanPool.ConwayRefinement.ConwayRefinement.Standalone.Mathlib.Examples.NegativeMonomialRoots
LeanPool.ConwayRefinement.ConwayRefinement.Standalone.Mathlib.Examples.NegativeMonomialRootsProof
Imported by
Supporting modules for Conway refinement for omnific integers.