This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
chore(data/finset/pointwise):
{a} • t = a • t
(#17072)
Change `singleton_smul` so that it uses the `•` spelling on the RHS.
- Loading branch information