Skip to content

feat(lean,#19276): tranche 5 -- preuve reelle step_menProposedDownward_unchanged - #19397

Closed
jsboige wants to merge 1 commit into
feat/19276-stable-marriage-tranche4from
feat/19276-stable-marriage-tranche5
Closed

feat(lean,#19276): tranche 5 -- preuve reelle step_menProposedDownward_unchanged#19397
jsboige wants to merge 1 commit into
feat/19276-stable-marriage-tranche4from
feat/19276-stable-marriage-tranche5

Commits

  1. Commits on Oct 6, 2026