Skip to content

Commit 702bdaa

Browse files
david-christiansenVierkantor
authored andcommitted
chore: bump to 2025-06-01 (#454)
1 parent fc1228f commit 702bdaa

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Manual/BasicTypes/Fin.lean

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -174,7 +174,7 @@ Typically, bitwise operations on {name}`Fin` should be accessed using Lean's ove
174174

175175
{docstring Fin.toNat}
176176

177-
{docstring Fin.ofNat'}
177+
{docstring Fin.ofNat}
178178

179179
{docstring Fin.cast}
180180

0 commit comments

Comments
 (0)