Locally path-connected group

Definition
A locally path-connected group is a topological group whose underlying topological space is a locally path-connected space.

Weaker properties

 * Stronger than::Locally connected topological group