Code

feat: Nat.lt_pow_self#6200

Code

Merged

tydeu merged 2 commits intoleanprover:masterleanprover/lean4:masterfrom tydeu:nat-lt-pow-selftydeu/lean4:nat-lt-pow-selfCopy head branch name to clipboardNov 27, 2024

+12

Commits

Commits on Nov 24, 2024

• feat: Nat.lt_pow_self

  tydeu

  committed
  31deebd

  Copy full SHA for 31deebd

Commits on Nov 26, 2024

• refactor: add _self

  tydeu

  committed
  892801e

  Copy full SHA for 892801e