kdrag

knuckledragger

kdrag
kdrag.theories
kdrag.theories.int
kdrag.theories.int.induct_nat
View page source

kdrag.theories.int.induct_nat

kdrag.theories.int.induct_nat(x, P)

Previous Next

© Copyright 2024, Philip Zucker.

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