Style: lemma for steps, theorem for main results - #30

Style: lemma for steps, theorem for main results#30

MarcIlunga merged 1 commit into

maintrailofbits/constructive-cryptography:mainfrom

lemma-styletrailofbits/constructive-cryptography:lemma-styleCopy head branch name to clipboard