Skip to content

Commit c902eeb

Browse files
StevenClontzStevenClontz
authored
add empty
1 parent 4d5fc7f commit c902eeb

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

‎theorems/T000864.md‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,9 @@
11
---
22
uid: T000864
33
if:
4-
P000234: true
4+
and:
5+
- P000234: true
6+
- P000137: false
57
then:
68
P000206: true
79
---

0 commit comments

Comments
 (0)