Skip to content

deprecations

d7d370e
Select commit
Loading
Failed to load commit list.
Merged

chore: cleanup simp lemmas, following the simpNF linter #8481

deprecations
d7d370e
Select commit
Loading
Failed to load commit list.