The Plünnecke-Ruzsa Inequality (Formal proof development)

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

Access to Document

@article{b047e18b180d4e12b31889a25c85c8b8,

title = "The Pl{\"u}nnecke-Ruzsa Inequality (Formal proof development)",

author = "Angeliki Koutsoukou-Argyraki and Paulson, \{Lawrence C.\}",

note = "\textbackslash{}url\{https://www.isa-afp.org/entries/Pluennecke\_Ruzsa\_Inequality.html\} ",

year = "2022",

month = may,

language = "English",

journal = "Archive of Formal Proofs",

issn = "2150-914x",

}