module module

`IndisputableMonolith.Mathematics.RamanujanBridge`

show as: view Lean formalization →

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

generate prose now

depends on (7)

Lean names referenced from this declaration's body.

IndisputableMonolith.Mathematics.RamanujanBridge.CongruenceQ3Bridge module_import
IndisputableMonolith.Mathematics.RamanujanBridge.ContinuedFractionPhi module_import
IndisputableMonolith.Mathematics.RamanujanBridge.DirectedFlux24 module_import
IndisputableMonolith.Mathematics.RamanujanBridge.MockThetaPhantom module_import
IndisputableMonolith.Mathematics.RamanujanBridge.PhiLadderStability module_import
IndisputableMonolith.Mathematics.RamanujanBridge.RamanujanPiFactors module_import
IndisputableMonolith.Mathematics.RamanujanBridge.ZeckendorfJCost module_import