Code

feat: toNat_sub_of_le#5314

Code

Merged

hargoniX merged 2 commits intoleanprover:masterleanprover/lean4:masterfrom opencompl:toNat_sub_of_leopencompl/lean4:toNat_sub_of_leCopy head branch name to clipboardSep 12, 2024

+16

Commits

Commits on Sep 11, 2024

• feat: toNat_sub_of_le

  Show description for 7f4fad2
  bollu

  committed
  7f4fad2

  Copy full SHA for 7f4fad2

Commits on Sep 12, 2024

• chore: use have, rw

  bollu

  committed
  3d79832

  Copy full SHA for 3d79832