kdrag.theories.logic.temporal.lift\_unop ======================================== .. currentmodule:: kdrag.theories.logic.temporal .. autofunction:: lift_unop