Skip to content

fix: require Hausdorff CW spaces for derived solidification - #658

Open
Vilin97 wants to merge 1 commit into
leanprover:mainfrom
Vilin97:fix/derived-solid-cw-hausdorff
Open

fix: require Hausdorff CW spaces for derived solidification#658
Vilin97 wants to merge 1 commit into
leanprover:mainfrom
Vilin97:fix/derived-solid-cw-hausdorff

fix: require Hausdorff CW spaces in derived solidification comparison

f6315d4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Classify changes
succeeded Sep 29, 2026 in 1m 15s