P
Initializing...
total_le (KFM Final: `PhiNeed ∧ LineNeed ∧ ChirpNeedR → KappaBound (1/2^182)`) · Prove2Me