Lemma 7.7.2, streamlined#478

Merged

fpvandoorn merged 10 commits intofpvandoorn:masterfrom

Parcly-Taxel:l772-2

Nov 6, 2025

Commits on Jul 27, 2025

Lemma 7.7.2, streamlined
Parcly-Taxel
committed

Commits on Jul 28, 2025

use new lemma
Parcly-Taxel
committed

Commits on Jul 30, 2025

Commits on Jul 31, 2025

Merge branch 'master' into l772-2
Parcly-Taxel
committed

Commits on Aug 7, 2025

Merge branch 'master' into l772-2
Parcly-Taxel
authored

Commits on Aug 11, 2025

Merge branch 'master' into l772-2
Parcly-Taxel
authored

Commits on Nov 1, 2025

Commits on Nov 3, 2025

Merge branch 'master' into l772-2
Parcly-Taxel
committed