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