Theodore Meek

icon location Undergrad at UW. Currently interested in math, formal verification, and interactive theorem provers.

Results 1 issues of Theodore Meek

feat(MeasureTheory/Measure/Hausdorff) add `exists_accPt_of_pos_hausdorffMeasure `

2 comment

feat(MeasureTheory/Measure/Hausdorff): Added a theorem that states if a set has positive s-dimensional Hausdorff measure, then it has an accumulation point, along with necessary proofs. Theorem added: `exists_accPt_of_pos_hausdorffMeasure` **Harmonic's Aristotle gave...

t-measure-probability
new-contributor