Theorem RootPairing.pairingIn_reflection_perm_self_left

Modification history