Theorem MeasureTheory.AddContent.isCaratheodory_ofFunction_of_mem

Modification history

2026-01-26 08:43
Mathlib/MeasureTheory/OuterMeasure/OfAddContent.lean
feat: let `AddContent` take values in a general monoid (#34434) …
Modified MeasureTheory.AddContent.isCaratheodory_ofFunction_of_memView on Github →
2025-02-09 23:04
Mathlib/MeasureTheory/OuterMeasure/OfAddContent.lean
feat: Carathéodory's Extension Theorem (#21353) …
Added MeasureTheory.AddContent.isCaratheodory_ofFunction_of_memView on Github →