wlog_tac : term quotation -> term quotation list -> tactic
STRUCTURE
wlogLib
SYNOPSIS
Enrich the hypotheses with a proposition that can be assumed without loss of generality.
DESCRIPTION
wlogLib.wlog_tac
is identical to
bossLib.wlog_tac
HOL
Kananaskis-13