Commit 2025-08-01 02:32 bffd6b70

View on Github →

chore(SetTheory/ZFC): golf mem_pairSep using grind (#27564)

Estimated changes