Lemma to prove the opposite implication from Seq.LemmaCardinalityOfSetNoDuplicates - #20

Lemma to prove the opposite implication from Seq.LemmaCardinalityOfSetNoDuplicates#20

robin-aws wants to merge 3 commits into

dafny-lang:masterdafny-lang/libraries:masterfrom

robin-aws:cardinality-of-seq-to-set-implies-no-duplicatesrobin-aws/libraries:cardinality-of-seq-to-set-implies-no-duplicatesCopy head branch name to clipboard