New lemma `mu1_le_eq_mu1` for Pr-rewrite.#788

Merged

strub merged 1 commit intoEasyCrypt:mainfrom

loutr:pr-rewrite-leq-eq

Jul 3, 2025

Commits on Jul 1, 2025

feat(Pr-rewrite): Support for the new `mu1_leq_eq_mu1` lemma
loutr
committed