Theorem PGame.Subsequent.trans

Modification history