Energy_Game

List_Lemmas

Energy_Order

Galois_Energy_Game

Decidability

Update

Natural_Galois_Energy_Game