Admin/components/optional
author desharna
Fri, 27 Jan 2023 12:25:36 +0100
changeset 77700 9678b533119e
parent 73903 a037f01aedab
permissions -rw-r--r--
added lemma multpHO_plus_plus[simp]

#optional components: somewhat experimental tools
hol-light-bundle-0.5-126