Commit 2023-11-26 04:56 c159834a

View on Github →

fix: patch for std4#203 (more sub lemmas for Nat) (#6216)

Estimated changes