module module

`IndisputableMonolith.Physics.EightTickPeriodicityFromD`

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

declarations in this module (15)

def spatialDim L24
def ledgerPeriod L25
theorem ledgerPeriod_eq_8 L27
def F4 L30
theorem f4_eq_3 L31
theorem f4_eq_spatialDim L32
def F6 L35
theorem f6_eq_8 L36
theorem f6_eq_ledgerPeriod L37
def F5 L40
theorem fibonacci_recurrence L41
theorem both_fibonacci_at_D3 L44
theorem eight_tick_fibonacci_connection L48
structure EightTickCert L50
def eightTickCert L55