This name is a synonym of Isoetes velata var. perralderiana (Dur. & LeTourn.) N. Pfeiff..
The record derives from Tropicos
(data supplied on 2012-04-18)
which reports it as a synonym (record 26619710) with original publication details: Pl. Alg. Exsic. 157 1867.
This name was in version 1 of The Plant List, record tro-26619710.