Theorem SetTheory.PGame.inv_zero

Modification history