HOL has various meanings in the Theorem category. Discover the full forms, definitions, and usage contexts of HOL in Theorem.
Last updated: January 4, 2020