Theorem SetTheory.PGame.le_of_forall_lf

Modification history