Skip to content
Withdraw PR

Definition of the K-algebra map prod_v K_v -> prod_w L_w #97

Sign in to view logs

Definition of the K-algebra map prod_v K_v -> prod_w L_w

Definition of the K-algebra map prod_v K_v -> prod_w L_w #97

The logs for this run have expired and are no longer available.