Theorem PGame.inv_zero

Modification history