Theorem PGame.zero_lf

Modification history