H_spaces.lean

Commit

3 years ago

Update src/topology/homotopy/H_spaces.lean Co-authored-by: Junyan Xu <junyanxumath@gmail.com>

Author

faenuccio

Parents