A better organization of the proof. - SemanticDiff

Commit

3 years ago

A better organization of the proof.

References

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

Author

kkytola

kkytola

Parents

Loading