Theorem RootPairing.InvariantForm.exists_apply_eq_or_aux

Modification history