pub fn compile_theorem_for_ui(input: &str) -> TheoremCompileResult
Compile a theorem block for UI display.