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

Diff — Arc length

Revision #3275 → #3808 · back to history

modifiedSigned arc length28c1a51659c8
FieldFrom #3275To #3808
mathlib.moduleMathlib.Topology.EMetricSpace.BoundedVariationMathlib.Topology.EMetricSpace.VariationOnFromTo
addedNon-rectifiable curve9668add0929d
addedPythagorean formula for chord length99c5faf8d344