Theorem RootPairing.InvariantForm.apply_eq_or_of_apply_ne

Modification history