Documentation
Mathlib
.
Tactic
.
FunProp
.
Attr
Search
return to top
source
Imports
Init
Mathlib.Tactic.FunProp.Decl
Mathlib.Tactic.FunProp.Theorems
Imported by
← Mathematical handbook
funProp
attribute
#