Theorem RootPairing.reflection_reflectionPerm

Modification history