Skip to content

feat: p-to-e calibrators, their admissibility, rescaling, mixtures and the power calibrators - #393

Merged
lmlexplore-automation[bot] merged 5 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/isptoecalibrator-worker1
Nov 14, 2026
Merged

lmlexplore-automation[bot] merged 5 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/isptoecalibrator-worker1

refactor: rename the rpow antiderivative lemma to hasDerivAt_const_rp…

842529b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view