Theorem RootPairing.RootPositiveForm.pairingIn_mul_eq_pairingIn_mul_swap

Modification history