Theorem SetTheory.PGame.zero_lf_inv'

Modification history