Theorem RootPairing.zero_nmem_range_root

Modification history