Skip to content

docs(r3): P1 axiom paydown — Int=AbelianGroup<Nat> shorthand corrected (Brian directive) - #1815

Merged
briansrls merged 2 commits into
mainfrom
docs/abeliangroup-nat-p1-paydown-2026-05-06
May 6, 2026
Merged

docs(r3): P1 axiom paydown — Int=AbelianGroup<Nat> shorthand corrected (Brian directive)#1815
briansrls merged 2 commits into
mainfrom
docs/abeliangroup-nat-p1-paydown-2026-05-06

docs(r3): drop session-home memory link — plain-text cross-ref instea…

f5c1659
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar