Documentation

Mathlib.Tactic.FunProp.Attr

return to top

source

Imports

Init
Mathlib.Tactic.FunProp.Decl
Mathlib.Tactic.FunProp.Theorems

Imported by

`funProp` attribute #