Close Open

Why are there so many Japanese terms in Lean? (FAQ)

2m 41s