Skip to content

Initial work on the theory of solvable terms#1148

Merged
mn200 merged 4 commits intoHOL-Theorem-Prover:developfrom binghe:solvableTheorySep 28, 2023