has a regular countable local basis has an integral?
Regular local basis == a local basis (U_i)_{i in I}
such that every U_i contains the closure of some U_{i'}.
Any local basis in a regular space is a regular local basis,
thus the name.
Guy from Seattle team we've been working with showed up today at work; no matter how much I'm generally comfortable working with remote teams (and I…
Sean's back in town --- good fun working with nonremote teammates.
Sean's in town at work, good times.