Skip to content

Merge branch 'master' into aristotle-regularized

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

feat(Regularized): prove to_SupRegularized and of_Subadditive #1022

Merge branch 'master' into aristotle-regularized
2553190
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
Lean based style linters
succeeded May 4, 2026 in 46m 47s