summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorSon Ho2024-06-12 18:40:17 +0200
committerSon Ho2024-06-12 18:40:17 +0200
commit79e19aa701086de9f080357d817284559f900bcc (patch)
tree732816f0f5a4bf7d41e11cf6227bd7ac97e7d484 /tests
parentd36736fa4e7eb9f42f35303b8080d17ddbee92d2 (diff)
Update the scalar notations in Lean
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions