Fix terminology#64

thomasknauth wants to merge 1 commit intoConsensys:mainConsensys/doc.gnark:mainfrom

thomasknauth:patch-1thomasknauth/doc.gnark:patch-1Copy head branch name to clipboard