mathlib3 documentation

tactic.transfer

@[protected, instance]
@[protected, instance]
meta def transfer.analyse_decls  :
list name tactic (list rule_data)
meta def tactic.transfer (ds : list name) :