Commit 2023-11-01 10:38 7c1c7ff7

feat: Nobeling's theorem (#6286) Nobeling's theorem: the Z-module of locally constant maps from a profinite set to the integers is free.

• depends on: #6360
• depends on: #6373
• depends on: #6395
• depends on: #6396
• depends on: #6432
• depends on: #6520
• depends on: #6578
• depends on: #6589
• depends on: #6722
• depends on: #7829
• depends on: #7895
• depends on: #7896
• depends on: #7897
• depends on: #7899