Def Condensed.profiniteSolid

Modification history

2024-05-01 09:30

Mathlib/Condensed/Solid.lean

refactor(Condensed): redefine condensed abelian groups as condensed `ℤ`-modules (#12510)

Modified Condensed.profiniteSolid View on Github →

2023-11-20 15:07

Mathlib/Condensed/Solid.lean

feat(Condensed): definition of solid abelian groups (#8238) …

Added Condensed.profiniteSolid View on Github →