`BookProof.InverseTransform.seedSet_disjoint` (hp : ∀ i, 0 ≤ p i) : Pairwise (Disjoint on seedSet p)

Initializing...

`BookProof.InverseTransform.seedSet_disjoint` (hp : ∀ i, 0 ≤ p i) : Pairwise (Disjoint on seedSet p) · Prove2Me