Theorem RootPairing.apply_root_root_zero_iff

Modification history