feat: Rounding Proof: Galois Connection [3/?]#49

bollu wants to merge 11 commits intomainopencompl/fp-lean:mainfrom

proof-round-3-of-xopencompl/fp-lean:proof-round-3-of-xCopy head branch name to clipboard