Theorem RootPairing.pairing_reflectionPerm

Modification history