Theorem PGame.wf_subsequent

Modification history