Theorem RootPairing.nsmul_notMem_range_root

Modification history