Skip to content

chore: golf rw [...]; rfl proofs to simp [...]

9170bd1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Closed

[Merged by Bors] - feat: continuousLinearMapAt_apply_of_mem #37537

chore: golf rw [...]; rfl proofs to simp [...]
9170bd1
Select commit
Loading
Failed to load commit list.