TorchLean API
Docs Home
Guide
Examples
Graphs
Lake
.
Util
.
Reservoir
Search
Declaration colors
def
theorem
structure
axiom
return to top
source
Imports
Init.Prelude
Init.Data.Array.Basic
Imported by
Lake
.
Reservoir
.
lakeHeaders
source
def
Lake
.
Reservoir
.
lakeHeaders
:
Array
String
Instances For