Improve source line

GeoffreySangston · web-flow · commit e40c79019d52 · 2026-04-06T00:41:40.000-04:00
diff --git a/properties/P000223.md b/properties/P000223.md
@@ -10,4 +10,4 @@ $X$ admits a basis of open sets which are {P199}.
 
 Equivalently, for each $x \in X$, every neighborhood of $x$ contains a contractible open neighborhood of $x$.
 
-The naming of this property follows pi-base conventions. Defined in Proposition A.4 of {{zb:"1044.55001"}}. 
+"Locally contractible" is used in {{zb:1044.55001}}, where it is defined informally with the meaning above as part of the statement of Proposition A.4 on page 522.  (As explained on page 61, the book follows the convention of a space being "locally P" for a property P to mean that every point has arbitrarily small open neighborhoods with the property; this is very close to the general convention used in pi-base.)

Original file line number	Diff line number	Diff line change
`@@ -10,4 +10,4 @@ $X$ admits a basis of open sets which are {P199}.`
`10`	`10`
`11`	`11`	`Equivalently, for each $x \in X$, every neighborhood of $x$ contains a contractible open neighborhood of $x$.`
`12`	`12`
`13`		`-The naming of this property follows pi-base conventions. Defined in Proposition A.4 of {{zb:"1044.55001"}}.`
	`13`	`+"Locally contractible" is used in {{zb:1044.55001}}, where it is defined informally with the meaning above as part of the statement of Proposition A.4 on page 522. (As explained on page 61, the book follows the convention of a space being "locally P" for a property P to mean that every point has arbitrarily small open neighborhoods with the property; this is very close to the general convention used in pi-base.)`