Kneser's Theorem and the Cauchy–Davenport Theorem (Formal proof development)

Research output: Contribution to journal › Article › peer-review

Access to Document

@article{48f9ad8382ad4a928612045d93cbbb9c,

title = "Kneser's Theorem and the Cauchy–Davenport Theorem (Formal proof development)",

author = "Mantas Bak{\v s}ys and Angeliki Koutsoukou-Argyraki",

note = "\textbackslash{}url\{https://www.isa-afp.org/entries/Kneser\_Cauchy\_Davenport.html\} ",

year = "2022",

month = nov,

language = "English",

journal = "Archive of Formal Proofs",

issn = "2150-914x",

}