Theorem PGame.sub_congr

Modification history