Commit 2024-10-02 21:25 20a854cd

View on Github →

feat: star commutes with nnqsmul (#17351) From LeanAPAP

Estimated changes