Theorem Real.contDiffAt_rpow_const

Modification history