mathlib
ce3a99e2 - Merge branch 'master' into kkytola/tendsto_indicator_thickening

Commit

3 years ago

Merge branch 'master' into kkytola/tendsto_indicator_thickening

References

#17648 - feat(topology/metric_space/thickened_indicator): Add convergence of plain old indicators of thickenings.

Author

kkytola

kkytola

Parents

Loading