Skip to content

Record a valuation-1 factor outside the paired-star T-commutant - #7027

Open
unpaidmoon wants to merge 2 commits into
CrocSwap:mainfrom
unpaidmoon:cursor/paired-star-valuation-one-c841
Open

Record a valuation-1 factor outside the paired-star T-commutant#7027
unpaidmoon wants to merge 2 commits into
CrocSwap:mainfrom
unpaidmoon:cursor/paired-star-valuation-one-c841

Commits

  1. Commits on Nov 10, 2026