Theorem PGame.rightResponse_spec

Modification history