Non-Lie subgroups in Lie groups over local fields of positive characteristic
H. Glöckner, P-Adic Numbers, Ultrametric Analysis, and Applications 14 (2022) 138–144.