Theorem RootPairing.root_reflectionPerm

Modification history