Theorem RootPairing.two_smul_nmem_range_root

Modification history