`BookProof.ChapterIrreversible.bornDist_nonneg` (v : Fin n → ℂ) (a : Fin n) : 0 ≤ bornDist v a

Initializing...

`BookProof.ChapterIrreversible.bornDist_nonneg` (v : Fin n → ℂ) (a : Fin n) : 0 ≤ bornDist v a · Prove2Me