Documentation
LeanPool
.
PointwiseComposition
.
Foundation
.
FirstOrder
.
Arithmetic
.
Exponential
Search
return to top
source
Imports
Init
LeanPool.PointwiseComposition.Foundation.FirstOrder.Arithmetic.Exponential.Bit
LeanPool.PointwiseComposition.Foundation.FirstOrder.Arithmetic.Exponential.Exp
LeanPool.PointwiseComposition.Foundation.FirstOrder.Arithmetic.Exponential.Log
LeanPool.PointwiseComposition.Foundation.FirstOrder.Arithmetic.Exponential.PPow2
LeanPool.PointwiseComposition.Foundation.FirstOrder.Arithmetic.Exponential.Pow2
Imported by
Supporting results for pointwise provable equality.