Commit 2024-12-16 01:30 3f813de5

View on Github →

feat(SetTheory/Game/PGame): identical_of_eq (#19983) To complement equiv_of_eq.

Estimated changes