Theorem RootPairing.coroot_reflectionPerm

Modification history