Theorem RootPairing.pairing_reflection_perm_self_right

Modification history