Skip to content
Propose PR

The L-algebra map L tensor K_v -> prod_{w|v} L_w is continuous #139

Sign in to view logs

The L-algebra map L tensor K_v -> prod_{w|v} L_w is continuous

The L-algebra map L tensor K_v -> prod_{w|v} L_w is continuous #139

This job was skipped