This name is a synonym of Isoetes lechleri Mett..
The record derives from Tropicos
(data supplied on 2012-04-18)
which reports it as a synonym (record 50238121) with original publication details: Hedwigia 63: 252, f. 30, 31 1922.
Full publication details for this name can be found in IPNI: http://ipni.org/urn:lsid:ipni.org:names:130549-2.
This name was in version 1 of The Plant List, record tro-50238121, and has not been changed.