Skip to content

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

Open
robin-aws wants to merge 3 commits intodafny-lang:masterfrom robin-aws:cardinality-of-seq-to-set-implies-no-duplicates
+71-1

Commits