This name is a synonym of Isoetes storkii T.C. Palmer.
The record derives from Tropicos
(data supplied on 2012-04-18)
which reports it as a synonym (record 26616645) with original publication details: Revista Biol. Trop. 17(1): 108, f. 8 1972.
Full publication details for this name can be found in IPNI: http://ipni.org/urn:lsid:ipni.org:names:17441300-1.
This name was in version 1 of The Plant List, record tro-26616645.