Theorem RootPairing.pairingIn_reflection_perm_self_right

Modification history