Def Condensed.profiniteSolidification

Modification history

2024-05-01 09:30
Mathlib/Condensed/Solid.lean
refactor(Condensed): redefine condensed abelian groups as condensed `ℤ`-modules (#12510)
Modified Condensed.profiniteSolidificationView on Github →
2023-11-20 15:07
Mathlib/Condensed/Solid.lean
feat(Condensed): definition of solid abelian groups (#8238) …
Added Condensed.profiniteSolidificationView on Github →