ToDual
📁 Source: Mathlib/Tactic/Translate/ToDual.lean
Statistics
| Metric | Count |
|---|---|
| 14 | |
| Theorems | 0 |
| Total | 14 |
Mathlib.Tactic.ToDual
Definitions
| Name | Category | Theorems |
|---|---|---|
abbreviationDict 📖 | CompOp | — |
attrTo_dual?_ 📖 | CompOp | — |
data 📖 | CompOp | — |
doTranslateAttr 📖 | CompOp | — |
ignoreArgsAttr 📖 | CompOp | — |
nameDict 📖 | CompOp | — |
to_dual 📖 | CompOp | — |
to_dual_do_translate 📖 | CompOp | — |
to_dual_dont_translate 📖 | CompOp | — |
to_dual_ignore_args 📖 | CompOp | — |
translations 📖 | CompOp | — |
unfoldBoundaries 📖 | CompOp | — |
«commandTo_dual_insert_cast_:=_» 📖 | CompOp | — |
«commandTo_dual_insert_cast_fun_:=_,_» 📖 | CompOp | — |
---