Commit 2023-12-08 22:28 d76f1524

View on Github →

fix: patch for std4#197 (More add lemmas for Nat) (#6202)

Estimated changes