Skip to content

WildCat: generalize a couple of proofs from Bifunctor.v to Prod.v

225a9a8
Select commit
Loading
Failed to load commit list.
Merged

WildCat: generalize a couple of proofs from Bifunctor.v to Prod.v #1954

WildCat: generalize a couple of proofs from Bifunctor.v to Prod.v
225a9a8
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs