D

dktransfer

A transfer tactic for Meta Dedukti