Skip to content

mul_comm also not needed

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

chore: remove unused simp lemmas #951

mul_comm also not needed
1e4650f
Select commit
Loading
Failed to load commit list.
Check for spelling errors
succeeded Feb 18, 2026 in 13s