mathlib documentation

tactic.transfer

meta def transfer.analyse_decls  :
list nametactic (list rule_data)

meta def transfer.compute_transfer  :
list rule_datalist exprexprtactic (expr × expr × list expr)