safe_dummy_var

proveit.safe_dummy_var(\*expressions, start_index=0, avoid_default_assumption_conflicts=True)[source]

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