No pages link to Leigh.Samphier/Sandbox/Element of Completion is Limit of Sequence in Normed Division Ring.