pgame): `is_option (-x) (-y) ↔ is_option x y` (#15256)

Commit

3 years ago

feat(set_theory/game/pgame): `is_option (-x) (-y) ↔ is_option x y` (#15256) Co-authored-by: Junyan Xu <@alreadydone>

Author

vihdzp

Parents