Parity_Game

MoreCoinductiveList

ParityGame

Strategy

AttractingStrategy

Attractor

WinningStrategy

WellOrderedStrategy

WinningRegion

UniformStrategy

AttractorStrategy

PositionalDeterminacy

AttractorInductive

Graph_TheoryCompatibility