Theorem SetTheory.PGame.star_lf_zero

Modification history