Skip to content

Shorten proof of right linearity by pulling out a right linear lemma

ec2d209
Select commit
Loading
Failed to load commit list.
Open

Bicat of bimods #482

Shorten proof of right linearity by pulling out a right linear lemma
ec2d209
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs