Theorem RootPairing.pairing_reflectionPerm_self_right

Modification history