update master#258

Merged

StevenClontz merged 22 commits intomasterfrom

Mar 22, 2023

Commits on Mar 6, 2023

Commits on Mar 7, 2023

fix: add ref name to mathse ref

jamesdabbs
authored and
StevenClontz
committed

Commits on Mar 9, 2023

Commits on Mar 12, 2023

add kspace properties and theorems (#236)

StevenClontz
and
prabau
authored

Commits on Mar 18, 2023

Some theorems and traits involving local metrizability (#248)
prabau
authored

Commits on Mar 19, 2023

More theorems about locally pseudometrizable (#250)
prabau
authored

Commits on Mar 20, 2023

Misc spaces: more precise position between T1 and T2 (#249)

prabau
and
StevenClontz
authored

Commits on Mar 21, 2023

T328 update (#252)
prabau
authored

Commits on Mar 22, 2023