IndisputableMonolith.Flight.TeslaTurbine

declarations in this module (19)

• abbrev Jcost L61
• structure TurbineGeometry L69
• def boundaryLayerThickness L87
• def velocityRatio L100
• theorem phi_disc_spacing_optimal L108
• theorem phi_spacing_Jcost L125
• theorem spiral_pitch_one_is_phi L135
• theorem per_turn_at_kappa_one L140
• theorem kappa_one_step_ratio L150
• def totalCompressionRatio L160
• theorem compression_3_discs L163
• theorem compression_5_discs L164
• theorem compression_8_discs L165
• theorem fibonacci_compression_step L175
• theorem single_turn_Jcost L189
• theorem no_compression_zero_cost L194
• theorem compression_has_cost L198
• theorem phi_is_optimal_compression L213
• theorem tesla_turbine_master L230