Repository navigation

Optimize ConwayRefinement private imports and algebra proofs - #809

Open

Vilin97 wants to merge 1 commit into

mainfrom

codex/daily-optimize-20261113

Open

Optimize ConwayRefinement private imports and algebra proofs#809
Vilin97 wants to merge 1 commit into
mainfrom
codex/daily-optimize-20261113

Commits on Nov 13, 2026
- Optimize ConwayRefinement private imports and algebra proofs
  Vilin97
  committed
  2371d53