This repository was archived by the owner on Jan 5, 2025. It is now read-only.

definitional equalityの訳修正#14

Merged

s-taiga merged 1 commit intomainfrom

Nov 4, 2024

Commits on Nov 4, 2024

definitional equalityの訳修正
 s-taiga
committed