# Commit 2023-05-23 19:44 8d33f09c

View on Github →feat(topology/homotopy/H_spaces): define H spaces (#16029) introduce H-spaces and prove basic properties, in particular that every topological group is a H-space and that the path space at a point is a H-space.