nets.ml: speed up discrimination-net lookup#183

aqjune-aws wants to merge 2 commits into

jrh13:masterjrh13/hol-light:masterfrom

aqjune-aws:mapaqjune-aws/hol-light:mapCopy head branch name to clipboard