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

Diff — Area

Revision #1686 → #2519 · back to history

modifiedArea under a curve968c127dfb8a
FieldFrom #1686To #2519
mathlib.declMeasureTheory.volume_regionBetween_eq_integralvolume_regionBetween_eq_integral
provenanceaiai-moderated
modifiedArea between two graphs5ccd08adaf1c
FieldFrom #1686To #2519
mathlib.declMeasureTheory.volume_regionBetween_eq_integralvolume_regionBetween_eq_integral
provenanceaiai-moderated