Theorem PGame.Subsequent.mk_right'

Modification history