kdrag

knuckledragger

kdrag
kdrag.theories
kdrag.theories.logic
kdrag.theories.logic.temporal
kdrag.theories.logic.temporal.lift_unop
View page source

kdrag.theories.logic.temporal.lift_unop

kdrag.theories.logic.temporal.lift_unop(S, op)

Previous Next

© Copyright 2024, Philip Zucker.

Built with Sphinx using a theme provided by Read the Docs.