a=√(γRT), M=V/a; T₀/T=1+(γ−1)/2·M², p₀/p=(…)^(γ/(γ−1)).
Area–Mach A/A*=(1/M)[(2/(γ+1))(1+(γ−1)/2 M²)]^((γ+1)/(2(γ−1))); choked ṁ=p₀A*/√T₀·√[γ/R(2/(γ+1))^((γ+1)/(γ−1))].
Exit velocity V_e=√(2γ/(γ−1)·RT₀[1−(p_e/p₀)^((γ−1)/γ)]); thrust F=ṁV_e+(p_e−p_a)A_e.
Normal shock M₂²=(1+(γ−1)/2 M₁²)/(γM₁²−(γ−1)/2), p₂/p₁=1+2γ/(γ+1)(M₁²−1).
Note: 1-D isentropic results are an upper bound; real nozzles lose a few % to friction, divergence & shocks.