Theorem RootPairing.pairingIn_same

Modification history