Theorem RootPairing.pairingIn_reflectionPerm_self_right

Modification history