kdrag.printers.latex.to\_latex\_proof ===================================== .. currentmodule:: kdrag.printers.latex .. autofunction:: to_latex_proof