Theorem PGame.lf_zero

Modification history