Theorem RootPairing.pairingIn_reflectionPerm

Modification history