Complex nhds has Basis square
Complex.nhds_hasBasis_square
Plain-language statement
At every point , the axis-parallel closed squares centered at with positive half-width form a neighborhood basis. Equivalently, a set is a neighborhood of exactly when it contains one of these sufficiently small squares.
Source project: Prime Number Theorem and More
Person-level attribution pending.