Skip to content

Commit e39b702

Browse files
felixperneggerfelixpernegger
committed
fix uid
1 parent a2b9243 commit e39b702

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎theorems/T000864.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
---
2-
uid: T000860
2+
uid: T000864
33
if:
44
P000036: true
55
then:

0 commit comments

Comments
 (0)