Documentation
Lake
.
Util
.
List
Search
return to top
source
Imports
Init.Data.List.Notation
Imported by
Lake
.
List
.
squeeze
source
def
Lake
.
List
.
squeeze
{
α
:
Type
u_1}
[
BEq
α
]
:
List
α
→
List
α
Remove adjacent duplicates.
Equations
Instances For