Documentation
LeanPool
.
ConwayRefinement
.
ConwayRefinement
.
Order
.
Filter
.
Tests
Search
return to top
source
Imports
Init
LeanPool.ConwayRefinement.ConwayRefinement.Order.Filter.Tests.FunAtZeroMinus
Imported by
Supporting modules for Conway refinement for omnific integers.