theorem other other

`rs_eta_22`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

  72theorem rs_eta_22 : rs_eta 2 2 = 1 := by simp [rs_eta]

Lean names referenced from this declaration's body.

rs_eta in IndisputableMonolith.Physics.CMBTemperature decl_use
rs_eta in IndisputableMonolith.Relativity.Geometry.MetricUnification decl_use