OAI/Analysis/CircleDomains/Sobolev/WeightedCoareaFiniteUnion.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Disjoint finite assembly of exact weighted scalar coarea.

  1. lemma OAI.CircleDomainRigidity.weighted_coarea_union line 11