Repository navigation

refactor: one MGF domination predicate on a set of parameters - #191

Merged

lmlexplore-automation[bot] merged 3 commits into

LeanMachineLearning:mainfrom

RemyDegenne:refactor/mgf-dominated-on

Nov 6, 2026

Merged

refactor: one MGF domination predicate on a set of parameters#191
lmlexplore-automation[bot] merged 3 commits into
LeanMachineLearning:mainfrom
RemyDegenne:refactor/mgf-dominated-on

Commits on Nov 6, 2026
- refactor: one MGF domination predicate on a set of parameters
  
  RemyDegenne
  and
  claude
  committed
  26c94a0
- feat: combine MGF domination on two sets of parameters
  
  RemyDegenne
  and
  web-flow
  committed
  bc2420b
- Merge remote-tracking branch 'origin/main' into refactor/mgf-dominated-on
  RemyDegenne
  committed
  0730379