safe_default_or_dummy_var

proveit.safe_default_or_dummy_var(default_var, \*expressions)[source]