TY  - RPRT
TI  - Pointwise Mean Value Theorems in Constructive Mathematics
AU  - Jananan Arulseelan
AU  - James E. Hanson
PY  - 2026
UR  - https://arxiv.org/abs/2606.21738
ID  - 2606.21738
ER  -