docs: update docs with new material #42593

Open

Labels

opened

Update the various (undergraduate) mathematics (not yet in) mathlib docs with the new material.

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

Type

Projects

Classical and Tempered Distributions
Status
No status

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests