Skip to content

refactor(complexity): use Mathlib list product lemmas in WPP and WPP.Lowness (#750) - #758

Merged
SamuelSchlesinger merged 1 commit into
mainfrom
refactor/wpp-list-prod-750-r3
Oct 24, 2026
Merged

refactor(complexity): use Mathlib list product lemmas in WPP and WPP.Lowness (#750)#758
SamuelSchlesinger merged 1 commit into
mainfrom
refactor/wpp-list-prod-750-r3

Commits

  1. Commits on Oct 24, 2026