Theorem RootPairing.reflectionPerm_symm

Modification history