Theorem PGame.le_of_forall_lf

Modification history