ParentFull threadamirhirsch·https://en.wikipedia.org/wiki/Switching_lemmaThat paper is in the wiki refs but Hastad’s original is from 1986View on HN