Commit 2025-04-30 06:41 43baf3e1

View on Github →

feat: generalize MemHolder.smul (#24464)

Estimated changes

modified theorem HolderWith.smul
modified theorem MemHolder.smul