Re: Function for deleting a key binding in a sparse keymap

["Richard M. Stallman" <rms@gnu.org>]

    The list below describes step by step how Emacs finds a keymap from a
    given key sequence. As soon as a hit is found in any keymap (see
    @ref{Key Lookup}) then if the keymap entry is a function the search is

You write (@pxref{Key Lookup}).
I suggest you reread the Texinfo manual section on xrefs.

    @emph{Note 1:}

That produces Info output that looks like an xref,
so don't do that.

    @item
    If using @code{read-from-minibuffer} (directly or indirectly) then
    look in the keymap given as parameter then look in this. Otherwise
    look in @code{minibuffer-local-map}.

    @item
    If using @code{read-no-blanks-input} to read from minibuffer then look
    in @code{minibuffer-local-ns-map} first and then
    @code{minibuffer-local-map}.

These items can be deleted.  Those maps are simply used
as local maps for the buffer.

    @item
    If overriding-terminal-local-map look in this.

You need @code there.

    @example
    This is for example used by @code{Incremental Search}.
    @end example

`@example' is used for examples of code or input.
It is incorrect to use @example here.

    @item
    Is there a "keymap" property of the text or overlay at point?

This question fails to say what to _do_.