Skip to content

Commit

Permalink
fix: and --> if and only if
Browse files Browse the repository at this point in the history
Co-authored-by: Pierre-Antoine Champin <[email protected]>
  • Loading branch information
hartig and pchampin authored Feb 28, 2025
1 parent ca48f3f commit 6e621f0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion spec/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -1092,7 +1092,7 @@ <h3>RDF Dataset Comparison</h3>
the following are true:
<ul>
<li>|M|(|n|) is [=RDF term equality|equal=] to <var>n'</var>.</li>
<li>The triple (|s|, |p|, |o|) is in |G| and
<li>The triple (|s|, |p|, |o|) is in |G| if and only if
the triple ( |M|(|s|), |M|(|p|), |M|(|o|) ) is in <var>G'</var>.</li>
</ul>
</li>
Expand Down

0 comments on commit 6e621f0

Please sign in to comment.