Skip to content

inherit doc

d9c9d54
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

feat(ClassicalMechanics/HarmonicOsciallator): a few refactors and a new lemma #1079

inherit doc
d9c9d54
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
Lean based style linters
succeeded May 5, 2026 in 45m 25s