Ptychocoleus nymannii Steph.

Ptychocoleus nymannii is a species of in the family Lejeuneaceae.