Theorem RootPairing.two_smul_notMem_range_root

Modification history