Repository navigation

perf(DomainTheory): narrow imports and factor repeated proofs - #720

Open

Vilin97 wants to merge 1 commit into

mainfrom

codex/daily-optimize-domain-theory-20261026

Open

perf(DomainTheory): narrow imports and factor repeated proofs#720
Vilin97 wants to merge 1 commit into
mainfrom
codex/daily-optimize-domain-theory-20261026

Commits on Oct 26, 2026
- Optimize DomainTheory imports and repeated proofs
  Vilin97
  committed
  592258d