Theorem RootPairing.pairing_reflection_perm_self_left

Modification history