Theorem PGame.lf_of_equiv_of_lf

Modification history