safe_dummy_vars

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