`BookProof.ChapterSirkPerSystemFlowBound.sirk_scheme_bound` {X : E →L[ℂ] E} {V : G →L[ℂ] E} {S : Set ℂ} {C Dmin h : ℝ} {m : ℕ} {s : RationalScheme E G} (hs : IsSirkScheme X V S C D

Initializing...

`BookProof.ChapterSirkPerSystemFlowBound.sirk_scheme_bound` {X : E →L[ℂ] E} {V : G →L[ℂ] E} {S : Set ℂ} {C Dmin h : ℝ} {m : ℕ} {s : RationalScheme E G} (hs : IsSirkScheme X V S C D · Prove2Me