Documentation
Mathlib
.
Tactic
.
Spread
Search
Google site search
return to top
source
Imports
Init
Lean
Imported by
Macro for spread syntax (
__ := instSomething
) in structures.
#