proveit.
safe_dummy_var
Return a dummy variable that isn’t contained in any of the given expression and not contained in any of the default assumptions.