Skip to content

Commit 60cd7f6

Browse files
authored
📚 DOCS: Fix axiom typo
2 parents 93e55b8 + 7b0ad05 commit 60cd7f6

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docs/source/syntax.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -141,7 +141,7 @@ You can refer to a theorem using the `{prf:ref}` role like: ```{prf:ref}`my-theo
141141

142142
### Axioms
143143

144-
An axiom directive can be included using the `prf:theorem` pattern. The directive is enumerated by default and can take in an optional title argument. The following options are also supported:
144+
An axiom directive can be included using the `prf:axiom` pattern. The directive is enumerated by default and can take in an optional title argument. The following options are also supported:
145145

146146
* `label` : text
147147

0 commit comments

Comments
 (0)