Theorem SetTheory.PGame.zero_lf

Modification history