Theorem normalizeScaleRoots_support

Modification history