Commit 2025-10-24 19:16 e2ef1646

View on Github →

fix: make Set.Subsingleton.offDiag_eq_empty match its name (#30863)

Estimated changes