leanprover-community/mathlib

Pull Requests Commits

Merge branch 'fae_fundamental_group_lftcm22' of https://github.com/leanprover-community/mathlib into fae_fundamental_group_lftcm22

AngelGonzalezPrieto committed 3 years ago

e00e4ab0

Resolving conflicts

AngelGonzalezPrieto committed 3 years ago

d463a8e7

readded H_spaces

faenuccio committed 3 years ago

fc00d20b

removed to re-add

faenuccio committed 3 years ago

806826d6

faenuccio committed 3 years ago

7ec63f11

faenuccio committed 3 years ago

b2d304c1

faenuccio committed 3 years ago

6123835c

faenuccio committed 3 years ago

3915bca9

closing continuity of delayed

faenuccio committed 3 years ago

2811f95a

faenuccio committed 3 years ago

38ca8f1e

qualcosa sui loc compatti

faenuccio committed 3 years ago

192fbfd5

faenuccio committed 3 years ago

8ecabb7a

Meeting 29/07 Final version

matematiflo committed 3 years ago

98f90113

Update with some starting point for cloop space

AngelGonzalezPrieto committed 3 years ago

7fa45101

Meeting 29/07 end

matematiflo committed 3 years ago

fd24e35e

Meeting 29.07_3

matematiflo committed 3 years ago

2fae1298

faenuccio committed 3 years ago

703e5472

matematiflo committed 3 years ago

8fe73491

matematiflo committed 3 years ago

c3878e09

Added indications for S^3 example

matematiflo committed 3 years ago

661532cf

Added indications for one more example

matematiflo committed 3 years ago

e5ede583

chiusa la faccenda

faenuccio committed 3 years ago

0f9da50d

faenuccio committed 3 years ago

761c972a

faenuccio committed 3 years ago

e97589c7

faenuccio committed 3 years ago

1af1c9bd

S1 is a H_space

faenuccio committed 3 years ago

820c85b8

faenuccio committed 3 years ago

aba04a44

closed continuity

faenuccio committed 3 years ago

352d4e9b

faenuccio committed 3 years ago

97387335

cleanup of all the mess done during July

faenuccio committed 3 years ago

211b6968

Older