Documentation
Batteries
.
Data
.
Thunk
Search
Google site search
return to top
source
Imports
Init
Imported by
Thunk
.
ext
source
theorem
Thunk
.
ext
{α :
Type
u_1}
{a :
Thunk
α
}
{b :
Thunk
α
}
:
a
.get
=
b
.get
→
a
=
b