`device_matches_octave`

proved

show as: view math explainer →

module: IndisputableMonolith.Applied.PhotobiomodulationDevice
domain: Applied
line: 344 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Applied.PhotobiomodulationDevice on GitHub at line 344.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

rs_device IndisputableMonolith.Applied.PhotobiomodulationDevice

formal source

 341
 342/-- The device uses exactly 8 ticks per modulation cycle,
 343    matching the fundamental recognition octave (T7: D=3 → 8 ticks). -/
 344theorem device_matches_octave : rs_device.ticks_per_cycle = 8 := rfl
 345
 346end Photobiomodulation
 347end Applied
 348end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.