Style linters

feat(ClassicalMechanics): add rigid-body angular momentum and prove L = Iω #5812

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check for spelling errors	15s
Lean based style linters	35m 39s
Python based style linter	13s
	36m 7s