Skip to content

Fix preimage computation for field homomorphisms - #6535

Merged
fingolfin merged 1 commit into
masterfrom
mh/fix-PreImagesElm-for-IsFieldHomomorphism
Aug 28, 2026
Merged

Fix preimage computation for field homomorphisms#6535
fingolfin merged 1 commit into
masterfrom
mh/fix-PreImagesElm-for-IsFieldHomomorphism

Fix preimage computation for field homomorphisms

a697884
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar