Commit 2023-11-20 15:07 56336bf0

View on Github →

feat(Condensed): definition of solid abelian groups (#8238) We define solid abelian groups.

Estimated changes

Modified Mathlib.lean

Modified Mathlib/Condensed/Adjunctions.lean

Created Mathlib/Condensed/Limits.lean

Created Mathlib/Condensed/Solid.lean

added def Condensed.profiniteSolid

added def Condensed.profiniteSolidification