Commit 2025-12-01 20:13 67fb1ea3

View on Github →

feat: add IsHermitian.of_subsingleton (#32314)

Estimated changes