Towards solid abelian groups: A formal proof of Nöbeling's theorem

Dagur Asgeirsson

Condensed mathematics, developed by Clausen and Scholze over the last few years, is a new way of studying the interplay between algebra and geometry. It replaces the concept of a t…