pgame): strengthen `lf_or_equiv_of_le` to `lt_or_equiv_of_le` (#15255)

Commit

3 years ago

feat(set_theory/game/pgame): strengthen `lf_or_equiv_of_le` to `lt_or_equiv_of_le` (#15255) Co-authored-by: Junyan Xu <@alreadydone>

Author

vihdzp

Parents