Quick question: what session is best to load this library in? I'm using HOL-Algebra at the moment.
Quick question: what session is best to load this library in? I'm using HOL-Algebra at the moment.
I would say HOL-Analysis.
Last updated: Oct 12 2024 at 20:18 UTC