PR #14659: feat(set_theory/game/pgame): notation and basi...

Stream: triage

[Random Issue Bot]

Today I chose PR 14659 for discussion!

feat(set_theory/game/pgame): notation and basic API for P{x | y}, P{x |}, P{| x}
Created by @Violeta Hernández (@vihdzp) on 2022-06-10
Labels: awaiting-review, awaiting-CI

Is this PR still relevant? Any recent updates? Anyone making progress?