Theorem normalizeScaleRoots_monic

Modification history