ohnomore 0.2.1

Transformations for TüBa-D/Z lemmas
Documentation