This name is reported by Crassulaceae as an accepted name in the genus Sedum (family Crassulaceae).
The record derives from Tropicos (data supplied on 2022-04-18) which reports it as an accepted name
