Documentation
LeanPool
.
PointwiseComposition
.
Foundation
.
FirstOrder
.
Arithmetic
.
Definability
Search
return to top
source
Imports
Init
LeanPool.PointwiseComposition.Foundation.FirstOrder.Arithmetic.Definability.Absoluteness
LeanPool.PointwiseComposition.Foundation.FirstOrder.Arithmetic.Definability.BoundedDefinable
LeanPool.PointwiseComposition.Foundation.FirstOrder.Arithmetic.Definability.Definable
LeanPool.PointwiseComposition.Foundation.FirstOrder.Arithmetic.Definability.Hierarchy
Imported by
Supporting results for pointwise provable equality.