Theorem RootPairing.RootPositiveForm.rootLength_reflectionPerm_self

Modification history