OAI/Geometry/PrescribedRicci/DimensionZeroPotential.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Dimension Zero Potential.

  1. lemma OAI.Anticanonical.SourceSmooth.dimensionZero_forcing_constant line 20
  2. lemma OAI.Anticanonical.SourceSmooth.volumePath_zeroDim_one line 35