Propose PR

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

Sign in to view logs

Summary
Jobs
- propose_pr
Run details
- Usage
- Workflow file

Triggered via issue November 12, 2024 18:31

maddycrim

commented on #206 29dfe42

Status Skipped

Total duration 10s

Artifacts –

03-propose-pr.yml

on: issue_comment