Before revision:  We establish that all discounted asset-price processes, when stopped at the time of the overall minimum of the numeraire portfolio, become local martingales under the enlarged filtration.
After revision:  We establish that all discounted asset-price processes, when stopped at the time of the overall minimum of the numeraire portfolio, become local martingales in the enlarged filtration.