Polylean Unit Conjecture Counterexample

Source: arxiv:2102.11818, doi:10.4007/annals.2021.194.3.9 Authors: Siddhartha Gadgil, Anand Rao Status: verified Main declarations: LeanPool.Polylean.P.torsionFree, LeanPool.Polylean.Gardam.GardamTheorem Tags: algebra, group-theory, ring-theory, unit-conjecture MSC: 16S34, 20F65