Commit 2025-01-03 14:55 0571c828
View on Github →feat: add fst_compProd_apply (#20429)
Extract from the proof of fst_compProd a new lemma that applies more generally than Markov kernels.
feat: add fst_compProd_apply (#20429)
Extract from the proof of fst_compProd a new lemma that applies more generally than Markov kernels.