Theorem HasFDerivAt.const_rpow

Modification history