WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — Fractal dimension

Revision #2198 → #2575 · back to history

modifiedFractal dimension343a21c28182
FieldFrom #2198To #2575
mathlib.declMeasureTheory.dimHdimH
provenanceaiai-moderated
modifiedHausdorff dimension9d64fbc75b22
FieldFrom #2198To #2575
mathlib.declMeasureTheory.dimHdimH
provenanceaiai-moderated