Theorem RootPairing.RootPositiveForm.rootLength_reflection_perm_self

Modification history