feat(set_theory/game/pgame): strengthen lf_or_equiv_of_le to lt_or_equiv_of_le (#15255)
lf_or_equiv_of_le
lt_or_equiv_of_le