Skip to content

Make promote/lift and ring maps honest about canonical homomorphisms#62

Draft
d-torrance wants to merge 8 commits into
MichaelABurr:aringsfrom
d-torrance:ring-maps
Draft

Make promote/lift and ring maps honest about canonical homomorphisms#62
d-torrance wants to merge 8 commits into
MichaelABurr:aringsfrom
d-torrance:ring-maps

Fix promote and isPromotable for cross-backend ZZp rings

998291f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
codespell
succeeded Jun 27, 2026 in 36s