OAI/Computability/VertexCover/Reduction/PrivateTotalEnergyLaw.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.VertexCover.Restriction.spliceSwap line 42
2. theorem OAI.VertexCover.Restriction.finiteMean_splice line 59
3. theorem OAI.VertexCover.LabelCover.ownVariance_frozen_continuous line 75
4. theorem OAI.VertexCover.LabelCover.ownVariance_frozen_integrable line 95
5. theorem OAI.VertexCover.LabelCover.privateProjection_integral_variance line 106
6. theorem OAI.VertexCover.LabelCover.finiteMean_spliceSeeds line 130
7. theorem OAI.VertexCover.LabelCover.ownTotalVariance_frozen_integrable line 138
8. theorem OAI.VertexCover.LabelCover.privateTotal_energy_law line 152