Theorem RootPairing.neg_root_mem

Modification history