WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — Wave

Revision #2760 → #3217 · back to history

addedSpeed of sound formula295caa6e9f01
modifiedGaussian wave packet7e5773a86e68
FieldFrom #2760To #3217
mathlib.match_kind—generalization
provenanceaiai-moderated