Commit 2024-08-29 19:52 0844193b

View on Github →

feat: NNReal.coe_nnqsmul (#16247) From LeanAPAP

Estimated changes

added theorem NNReal.coe_nnqsmul