feat: wrap all sorrys off in +-Infinity theory of float reasoning#60

bollu merged 3 commits intomainopencompl/fp-lean:mainfrom

more-mul-4-of-xopencompl/fp-lean:more-mul-4-of-xCopy head branch name to clipboard