Skip to content

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

c75495b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

New lemma mu1_le_eq_mu1 for Pr-rewrite. #788

feat(Pr-rewrite): Support for the new `mu1_leq_eq_mu1` lemma
c75495b
Select commit
Loading
Failed to load commit list.