kdrag.datatype.recognizer_lemmas

kdrag.datatype.recognizer_lemmas(dt: DatatypeSortRef) → list[Proof]

>>> import kdrag.theories.nat as nat
>>> recognizer_lemmas(nat.Nat)[0]
|- is(Z, Z) == True