should be `Let` #1948

Open

Milestone

opened

on Apr 24, 2026

analysis/theories/measure_theory/measure_extension.v

Line 426 in 051d7a7

Lemma caratheodory_measure_ge0 (A : set U) : 0 <= mu A.

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

1.17.0

Relationships

None yet

Development

No branches or pull requests