RosettaCodeData/Task/Power-set/V/power-set-1.v
2023-07-01 13:44:08 -04:00

2 lines
62 B
Coq

[A C E] powerlist
=[[A C E] [A C] [A E] [A] [C E] [C] [E] []]