Theorem RootPairing.pairingIn_reflectionPerm_self_left

Modification history