Theorem PGame.Subsequent.mk_right

Modification history