mathlib3
fix(topology/stone_cech): faster proof from @PatrickMassot
#1042

Merged

fix(topology/stone_cech): faster proof from @PatrickMassot #1042

mergify merged 2 commits into master from stone-cech-faster

fix(topology/stone_cech): faster proof from @PatrickMassot

eecd8918

rwbarton requested a review 6 years ago

ChrisHughes24 approved these changes on 2019-05-17

ChrisHughes24 added ready-to-merge

Merge branch 'master' into 'stone-cech-faster'

79e29f2f

mergify merged 45afa86e into master 6 years ago

mergify deleted the stone-cech-faster branch 6 years ago

Reviewers

ChrisHughes24

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone