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 50326758) with original publication details: Fragm. 4: 128 1864.
Full publication details for this name can be found in IPNI: http://ipni.org/urn:lsid:ipni.org:names:371404-1.
This name was in version 1 of The Plant List, record tro-50326758, and has not been changed.