Countable products of metrics is metrizable#763

Merged

zstone1 merged 14 commits intomath-comp:masterfrom

zstone1:countable_ent

Feb 7, 2023

Commits on Feb 7, 2023

proving sups preserve countable ent
zstone1
committed
proof going through
zstone1
committed
unused proofs
zstone1
committed
linting
zstone1
committed
metric implies countable uniformity
zstone1
committed
fixing changelog
zstone1
committed
linting
zstone1
committed
metric for products
zstone1
committed
linting
zstone1
committed
fixing docs
zstone1
committed
use %:pos

affeldt-aist
authored and
zstone1
committed
fixing changelog
zstone1
committed
fix changelog
zstone1
committed
nitpicking

affeldt-aist
authored and
zstone1
committed