mathlib3
4a09c733 - feat(topology/basic): a condition implying that a sequence of functions locally stabilizes (#15580)

Commit

3 years ago

feat(topology/basic): a condition implying that a sequence of functions locally stabilizes (#15580) For sphere-eversion-project. Co-authored-by: Patrick Massot <patrickmassot@free.fr>

Author

urkud

Parents

6b5a1730

mathlib3 4a09c733 - feat(topology/basic): a condition implying that a sequence of functions locally stabilizes (#15580)

mathlib3
4a09c733 - feat(topology/basic): a condition implying that a sequence of functions locally stabilizes (#15580)