2 lines
62 B
Coq
2 lines
62 B
Coq
[A C E] powerlist
|
|
=[[A C E] [A C] [A E] [A] [C E] [C] [E] []]
|
[A C E] powerlist
|
|
=[[A C E] [A C] [A E] [A] [C E] [C] [E] []]
|