chore: correctness of isLawfulLower_Number_getZero_of_underflowNonneg#94

bollu wants to merge 2 commits into

mainopencompl/fp-lean:mainfrom

rounding-15-of-xopencompl/fp-lean:rounding-15-of-xCopy head branch name to clipboard