Skip to content

Avoid BaseChangeHomomorphism#124

Merged
fingolfin merged 1 commit intomainfrom
mh/BaseChangeHomomorphism
Nov 26, 2025
Merged

Avoid BaseChangeHomomorphism#124
fingolfin merged 1 commit intomainfrom
mh/BaseChangeHomomorphism

Commits

Commits on Nov 26, 2025