Theorem SetTheory.PGame.zero_lf_star

Modification history