This name is a synonym of Nymphoides minima (F. Muell.) Kuntze.
The record derives from Tropicos
(data supplied on 2012-04-18)
which reports it as a synonym (record 50326759) with original publication details: Fragm. 1: 40 1858.
Full publication details for this name can be found in IPNI: http://ipni.org/urn:lsid:ipni.org:names:369846-1.
This name was in version 1 of The Plant List, record tro-50326759, and has not been changed.