Add definitions for H#12

denysdovhan wants to merge 1 commit intomasterLambdaBooks/dictionary:masterfrom

defs/HLambdaBooks/dictionary:defs/HCopy head branch name to clipboard