Theorem RootPairing.pairing_reflectionPerm_self_left

Modification history