Add Lean-core mul and div rounding theorems for unpacked format words - #3

Add Lean-core mul and div rounding theorems for unpacked format words#3

Robertboy18 merged 1 commit into

lean-dojo:mainlean-dojo/FloatLib:mainfrom

rbeauchamp:lean-core-mul-div-roundingrbeauchamp/FloatLib:lean-core-mul-div-roundingCopy head branch name to clipboard