Theorem RootPairing.pairingIn_reflection_perm

Modification history