kdrag.printers.lean.sort\_axiom
===============================

.. currentmodule:: kdrag.printers.lean

.. autofunction:: sort_axiom