Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Merged by Bors] - feat(algebra/pointwise): add preimage_smul and generalize a couple of assumptions #8600

Closed
wants to merge 8 commits into from

Update src/algebra/pointwise.lean

cff5427
Select commit
Failed to load commit list.
Closed

[Merged by Bors] - feat(algebra/pointwise): add preimage_smul and generalize a couple of assumptions #8600

Update src/algebra/pointwise.lean
cff5427
Select commit
Failed to load commit list.

Workflow runs completed with no jobs