nLab universal polynomial

Redirected from "HOL light".
Note: HOL Light and HOL both redirect for "HOL light".

Created on July 3, 2017 at 05:52:41. See the history of this page for a list of all contributions to it.