Asymptotics in the completion of a normed space #
In this file we prove lemmas relating f = O(g)
etc
for composition of functions with coercion of a seminormed group to its completion.
In this file we prove lemmas relating f = O(g)
etc
for composition of functions with coercion of a seminormed group to its completion.