Repository navigation

Countable + P space => Alexandrov - #1776

Merged

prabau merged 4 commits into

mainfrom

countablepspacealexandriv

May 17, 2026

Merged

Countable + P space => Alexandrov#1776
prabau merged 4 commits into
mainfrom
countablepspacealexandriv

Commits on May 17, 2026
- Countable + P space => Alexandrov
  felixpernegger
  committed
  58287b0
- missing be
  felixpernegger
  committed
  36b4cdc
- adapt for locally countable
  felixpernegger
  committed
  1f3c1e8
- Update theorems/T000894.md
  
  felixpernegger
  and
  prabau
  authored
  972568d