wlog_then

wlogLib.wlog_then : term quotation -> term quotation list -> thm_tactic -> tactic

Re-exported from bossLib.wlog_then. See that entry for full documentation.