kdrag.theories.logic.temporal.G

kdrag.theories.logic.temporal.G(x, vs=None)