Skip to content

Commit

Permalink
fixup lemma 2.6.1 title
Browse files Browse the repository at this point in the history
Co-Authored-By: KtorZ <[email protected]>
  • Loading branch information
Anviking and KtorZ authored Mar 6, 2019
1 parent 04b0e55 commit 2b06dbb
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion test/unit/Cardano/Wallet/PrimitiveSpec.hs
Original file line number Diff line number Diff line change
Expand Up @@ -76,7 +76,7 @@ spec = do
(checkCoverage prop_2_1_9)

describe "Lemma 2.6 - Properties of balance" $ do
it "2.6.1) dom u ⋂ dom v ==> balance (u ⋃ v) = balance u + balance v"
it "2.6.1) dom u ⋂ dom v = ø ==> balance (u ⋃ v) = balance u + balance v"
(checkCoverage prop_2_6_1)
it "2.6.2) balance (ins⋪ u) = balance u - balance (ins⊲ u)"
(checkCoverage prop_2_6_2)
Expand Down

0 comments on commit 2b06dbb

Please sign in to comment.