Base.Change.Equivalence: add variant of delta-ext
Base.Change.Equivalence: add variant of delta-ext

Since I was confused myself for a while on the correct statement for
delta-ext, clarify it explicitly.

inc-lc/ilc-agda