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