Code

section の説明に「スコープ」という語を使わない#1260

Code

Merged

Seasawher merged 1 commit intomainlean-ja/lean-by-example:mainfrom Seasawher/issue1259lean-ja/lean-by-example:Seasawher/issue1259Copy head branch name to clipboardDec 31, 2024

+16-16

Commits

Commits on Dec 31, 2024

• section の説明に「スコープ」という語を使わない

  Show description for 97f9074
  Seasawher

  committed
  97f9074

  Copy full SHA for 97f9074