Commit 2025-04-23 20:46 b000f0cb

View on Github →

feat: MeasurableConstSMul (#24317) This typeclass will be useful in #23603.

Estimated changes