Skip to content

feat(phd-kat-35): Theorem 35.13 MRU=KART + Popper Clause F-5 (surgical re-apply from #593)#750

Merged
gHashTag merged 1 commit into
mainfrom
feat/phd-kat-35-clean
May 12, 2026
Merged

feat(phd-kat-35): Theorem 35.13 MRU=KART + Popper Clause F-5 (surgical re-apply from #593)#750
gHashTag merged 1 commit into
mainfrom
feat/phd-kat-35-clean

Commits

Commits on May 12, 2026