P
Initializing...
`BookProof.FockInteractionStability.gap_persists_pos` {mu a b : ℝ} (hmu : 0 < mu) (ha : a < 1) (hb : b < (1 - a) * mu) : 0 < (1 - a) * mu - b · Prove2Me