kdrag.theories.logic.temporal.is\_T
===================================

.. currentmodule:: kdrag.theories.logic.temporal

.. autofunction:: is_T