wlog_tac

wlogLib.wlog_tac : term quotation -> term quotation list -> tactic

Enrich the hypotheses with a proposition that can be assumed without loss of generality.

wlogLib.wlog_tac is identical to bossLib.wlog_tac