Documentation
Mathlib
.
Mathport
.
Attributes
Search
Google site search
Mathlib
.
Mathport
.
Attributes
source
Imports
Init
Lean.Attributes
Imported by
Lean
.
Attr
.
substAttr
Lean
.
Attr
.
hintTacticAttr
source
opaque
Lean
.
Attr
.
substAttr
:
Lean.TagAttribute
source
opaque
Lean
.
Attr
.
hintTacticAttr
:
Lean.TagAttribute