Code

Fixed and_null_emptystr_is theorems#128

Code

Merged

awalterschulze merged 1 commit intokatydid:mainkatydid/regex-deriv-lean:mainfrom keeganperry7:and_emptystr_null_iskeeganperry7/katydid-proofs:and_emptystr_null_isCopy head branch name to clipboardJan 9, 2025

Commits

Commits on Jan 7, 2025

• Fixed and_null_emptystr_is theorems

  keeganperry7

  committed
  d3d3d09

  Copy full SHA for d3d3d09