IndisputableMonolith.Cosmology.PhaseSaturationVacuum

declarations in this module (42)

• def alpha L52
• def Omega_Lambda L56
• theorem Omega_Lambda_def L59
• lemma alpha_pos_aux L62
• lemma alpha_over_pi_pos L67
• lemma alpha_lt_half L71
• lemma alpha_pos_local L76
• theorem alpha_over_pi_lt_seed L79
• theorem Omega_Lambda_pos L85
• theorem Omega_Lambda_lt_seed L90
• theorem Omega_Lambda_lt_one L95
• theorem Omega_Lambda_bounds L100
• lemma alpha_over_pi_lt_tight L106
• theorem Omega_Lambda_gt_05 L115
• theorem Omega_Lambda_lt_069 L121
• theorem Omega_Lambda_gt_068 L129
• theorem Omega_Lambda_band_unconditional L143
• def mode_budget L151
• def active_modes L155
• def passive_modes L159
• theorem mode_budget_partition L162
• theorem geometric_seed_eq L166
• theorem mode_budget_from_D3 L170
• theorem active_modes_eq L174
• def vertex_ground_states L177
• def unexcited_face_modes L180
• theorem passive_mode_decomposition L183
• theorem vertex_count_from_D3 L188
• def Omega_matter L196
• theorem omega_closure L199
• theorem coincidence_ratio_structural L204
• def equation_of_state L217
• theorem w_is_minus_one L219
• theorem no_dark_energy_evolution L222
• def H_CosmicPhaseEquilibrium L242
• theorem cosmic_phase_equilibrium_consistent L248
• def H_ScaleInvariance L267
• theorem scale_invariance_consistent L270
• theorem no_vacuum_catastrophe L278
• theorem vacuum_energy_is_mode_fraction L285
• structure PhaseSaturationVacuumCert L292
• theorem phase_saturation_vacuum_cert L302