Skip to content

Update Lemmas.lean

53df2ae
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Closed

[Merged by Bors] - feat: a finite space is Baire. #33300

Update Lemmas.lean
53df2ae
Select commit
Loading
Failed to load commit list.