Skip to content

chore: replace (d)simp only [] by beta_reduce when necessary

7018b33
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

chore: remove (d)simp only [] #38989

chore: replace (d)simp only [] by beta_reduce when necessary
7018b33
Select commit
Loading
Failed to load commit list.