IndisputableMonolith.Unification.BandwidthSaturation

declarations in this module (16)

• def gravArea L49
• theorem gravArea_pos L52
• theorem gravArea_inv_sq L60
• def dynamicalTime L69
• def newtonAccel L73
• def saturationAccel L90
• theorem saturationAccel_pos L93
• theorem saturationAccel_well_defined L98
• theorem high_accel_newtonian L108
• theorem low_accel_saturated L129
• def bandwidthKernel L151
• theorem kernel_unity_at_saturation L155
• theorem kernel_gt_one_when_saturated L161
• theorem kernel_lt_one_when_sub L168
• theorem Clag_is_coherence_quantum L181
• theorem alpha_is_bandwidth_exponent L190