Prove a complete factor invariant for ordered idempotents (no new kappa) - #4762

Prove a complete factor invariant for ordered idempotents (no new kappa)#4762

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

MatShep:codex/sol-schur-factor-invariant-20261023MatShep/integer-mult-bounds:codex/sol-schur-factor-invariant-20261023Copy head branch name to clipboard