Theorem RootPairing.InvariantForm.apply_root_root_zero_iff

Modification history