def backward_to_forward_proposer {ℍ : Type} {mag : HashMagma ℍ} {n : ℕ} (da : ElemInTreeH n ℍ) (back_proposer : Sequence n (Option (PMoves ℍ))) : Sequence n (Option (PMoves ℍ))

Equations

• One or more equations did not get rendered due to their size.