Commit 2025-01-10 18:19 93a78ce0

View on Github →

feat: Submodule.restrictScalars commutes with pow (#20581) From GrowthInGroups (LeanCamCombi)

Estimated changes