Update src/streamlit_app.py

src/streamlit_app.py

@@ -350,6 +350,8 @@ def search_and_display_with_filters(query, model, theorems_data, embeddings_db,
             cleaned_content = clean_latex_for_display(info['theorem_body'])
             st.markdown("**Theorem Body:**")
             st.markdown(cleaned_content)
+            st.markdown("**Paper ID:**")
+            st.markdown(info['paper_id'])
 
 # --- Main App Interface ---
 st.set_page_config(page_title="Theorem Search Demo", layout="wide")