F.13:12.2 -Local alias
Preface node
heading:f-13-12-2-local-alias:52132
Content
ContextOf(ℓ₁)=ContextOf(ℓ₂) ∧ senseOf(ℓ₁)=senseOf(ℓ₂) ⊢ aliases(ℓ₁↔ℓ₂)
Reading: Legacy synonym can be kept as a read‑path; writing uses pref.
Preface node
heading:f-13-12-2-local-alias:52132
ContextOf(ℓ₁)=ContextOf(ℓ₂) ∧ senseOf(ℓ₁)=senseOf(ℓ₂) ⊢ aliases(ℓ₁↔ℓ₂)
Reading: Legacy synonym can be kept as a read‑path; writing uses pref.