Skip to content

feat(Condensed/Solid): prove profiniteSolidification is iso at finite types (partial)#39701

Closed
thothrde wants to merge 26 commits into
leanprover-community:masterfrom
thothrde:feat/condensed-solid-isSolid-profiniteSolid
Closed

feat(Condensed/Solid): prove profiniteSolidification is iso at finite types (partial)#39701
thothrde wants to merge 26 commits into
leanprover-community:masterfrom
thothrde:feat/condensed-solid-isSolid-profiniteSolid

style(Condensed/Solid): restore Unicode ≅ in IsSolid doc (AppleScript…

07da75f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded Jun 24, 2026 in 1m 21s