Code

Cantor の対関数についての証明は出典を示す#802

Code

Merged

Seasawher merged 2 commits intomainlean-ja/lean-by-example:mainfrom pairinglean-ja/lean-by-example:pairingCopy head branch name to clipboardSep 16, 2024

+6-2

Commits

Commits on Sep 15, 2024

• Cantor の対関数についての証明は出典を示す

  Show description for 51c4bd6
  Seasawher

  committed
  51c4bd6

  Copy full SHA for 51c4bd6

Commits on Sep 16, 2024

• Merge branch 'main' into pairing

  Seasawher

  authored
  b4e8322

  Copy full SHA for b4e8322