Theorem PGame.leftResponse_spec

Modification history