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