Theorem hasFDerivAt_polarCoord_symm

Modification history