P
Initializing...
The integer weight `w = aT gT cT` against `2^{3P-σ} (2α)⁻¹ e_j` (`weight_err`) · Prove2Me